scientific article
From MaRDI portal
Publication:2767023
zbMath0988.03014arXivmath/0006122MaRDI QIDQ2767023
Richard Zach, Agata Ciabattoni, Matthias Baaz
Publication date: 30 June 2002
Full work available at URL: https://arxiv.org/abs/math/0006122
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Many-valued logic (03B50) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (5)
First-order Gödel logics ⋮ Ten problems in Gödel logic ⋮ COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Unnamed Item ⋮ Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\)
This page was built for publication:
