Pages that link to "Item:Q1361248"
From MaRDI portal
The following pages link to Non-axiomatizable second order intuitionistic propositional logic (Q1361248):
Displaying 6 items.
- On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- On second order intuitionistic propositional logic without a universal quantifier (Q3616347) (← links)
- Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic (Q3647305) (← links)
- On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)
