Pages that link to "Item:Q1061123"
From MaRDI portal
The following pages link to On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123):
Displaying 7 items.
- Second order propositional operators over Cantor space (Q1317903) (← links)
- Non-axiomatizable second order intuitionistic propositional logic (Q1361248) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- (Q3305542) (← links)
- On second order intuitionistic propositional logic without a universal quantifier (Q3616347) (← links)
- On an interpretation of second order quantification in first order intuitionistic propositional logic (Q4008745) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)