Propositional quantification in the monadic fragment of intuitionistic logic

DOI10.2307/2586601zbMath0959.03005OpenAlexW2121836469MaRDI QIDQ4391436

Tomasz Połacik

Publication date: 14 September 1998

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586601

zbMATH Keywords

metric spaceHeyting calculuspropositional quantifierstopological interpretationsecond-order intuitionistic propositional logicmonadic fragment

Mathematics Subject Classification ID

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

Related Items (2)

Distributed knowability and Fitch's paradox ⋮ Pitts' quantifiers are not topological quantification

Cites Work

• On a second order propositional operator in intuitionistic logic
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• On 2nd order intuitionistic propositional calculus with full comprehension

This page was built for publication: Propositional quantification in the monadic fragment of intuitionistic logic