Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 63, Issue 1 (1998), 269-300.
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic
We study the monadic fragment of second order intuitionistic propositional logic in the language containing the standard propositional connectives and propositional quantifiers. It is proved that under the topological interpretation over any dense-in-itself metric space, the considered fragment collapses to Heyting calculus. Moreover, we prove that the topological interpretation over any dense-in-itself metric space of fragment in question coincides with the so-called Pitts' interpretation. We also prove that all the nonstandard propositional operators of the form q $\mapsto \exists$p (q $\leftrightarrow$ F(p)), where F is an arbitrary monadic formula of the variable p, are definable in the language of Heyting calculus under the topological interpretation of intuitionistic logic over sufficiently regular spaces.
J. Symbolic Logic, Volume 63, Issue 1 (1998), 269-300.
First available in Project Euclid: 6 July 2007
Permanent link to this document
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Polacik, Tomasz. Propositional Quantification in the Monadic Fragment of Intuitionistic Logic. J. Symbolic Logic 63 (1998), no. 1, 269--300. https://projecteuclid.org/euclid.jsl/1183745471