Pages that link to "Item:Q3520241"

The following pages link to Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type (Q3520241):

Displayed 2 items.

• \(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation (Q454376) ‎ (← links)
• Description of all functions definable by formulæ of the 2nd order intuitionistic propositional calculus on some linear Heyting algebras (Q3647249) ‎ (← links)