Pitts' quantifiers are not topological quantification

DOI10.1305/ndjfl/1039118868zbMath0966.03008OpenAlexW1969394537MaRDI QIDQ5937836

Tomasz Połacik

Publication date: 17 July 2001

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1039118868

zbMATH Keywords

Kripke modelsHeyting calculusintuitionistic logicmonadic languagepropositional quantificationpropositional quantifierstopological interpretation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

On second order intuitionistic propositional logic without a universal quantifier ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ Uniform interpolation and the existence of sequent calculi

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On some non-classical extensions of second-order intuitionistic propositional calculus
• On a second order propositional operator in intuitionistic logic
• Second order propositional operators over Cantor space
• Non-axiomatizable second order intuitionistic propositional logic
• Propositional quantification in the topological semantics for \(\mathbf S4\)
• Undefinability of propositional quantifiers in the modal system S4
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Propositional quantifiers in modal logic1
• Adding propositional connectives to countable infinitary logic
• On the complexity of propositional quantification in intuitionistic logic
• Propositional quantification in the monadic fragment of intuitionistic logic
• A sheaf representation and duality for finitely presented Heyting algebras
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• On modal logic with propositional quantifiers