Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type
From MaRDI portal
Publication:3520241
DOI10.1093/logcom/exn004zbMath1146.03011OpenAlexW2143006649MaRDI 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
Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (3)
Ten problems in Gödel logic ⋮ \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation ⋮ Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras
This page was built for publication: Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type