Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type
From MaRDI portal
Publication:3520241
DOI10.1093/logcom/exn004zbMath1146.03011MaRDI QIDQ3520241
Norbert Preining, Matthias Baaz
Publication date: 15 August 2008
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exn004
03B50: Many-valued logic
03B20: Subsystems of classical logic (including intuitionistic logic)
03C10: Quantifier elimination, model completeness, and related topics
Related Items
\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation, Ten problems in Gödel logic, Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras