Pages that link to "Item:Q1158419"
From MaRDI portal
The following pages link to On a second order propositional operator in intuitionistic logic (Q1158419):
Displaying 7 items.
- Semantic characterization of intuitionistic logical connectives (Q1111537) (← links)
- Second order propositional operators over Cantor space (Q1317903) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- The creating subject, the Brouwer-Kripke schema, and infinite proofs (Q1788337) (← links)
- Propositional quantification in the monadic fragment of intuitionistic logic (Q4391436) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)
- The pleasures of anticipation: Enriching intuitionistic logic (Q5957420) (← links)
