Publication:2767023
From MaRDI portal
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
03B25: Decidability of theories and sets of sentences
03B50: Many-valued logic
03C10: Quantifier elimination, model completeness, and related topics
Related Items
COMPLETENESS VIA CORRESPONDENCE FOR EXTENSIONS OF THE LOGIC OF PARADOX, Unnamed Item, Ten problems in Gödel logic, Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\), First-order Gödel logics