Pages that link to "Item:Q3520241"
From MaRDI portal
The following pages link to Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (Q3520241):
Displayed 3 items.
- \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) (← links)
- Ten problems in Gödel logic (Q1699740) (← links)
- Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras (Q3647249) (← links)