Pages that link to "Item:Q1061123"

The following pages link to On some non-classical extensions of second-order intuitionistic propositional calculus (Q1061123):

Displaying 2 items.

• Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
• Pitts' quantifiers are not topological quantification (Q5937836) (← links)