Skip to main content Accessibility help
×
Home

Propositional quantification in the monadic fragment of intuitionistic logic

  • Tomasz Połacik (a1)

Abstract

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 ↦ ∃p (qF(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.

Copyright

References

Hide All
[1]Gabbay, D. M., On 2nd order intuitionistic propositional calculus with full comprehension, Archive for Mathematical Logic, vol. 16 (1974), pp. 177186.
[2]Ghilardi, S. and Zawadowski, M., A sheaf representation and duality for finitely presented Hey ting algebras, this Journal, vol. 60 (1995), pp. 911939.
[3]Kreisel, G., Monadic operators defined by means of propositional quantification in intuitionistic logic, Reports on Mathematical Logic, vol. 12 (1981), pp. 915.
[4]Pitts, A., On an interpretation of second order quantification in the first order intuitionistic propositional logic, this Journal, vol. 57 (1992), pp. 3352.
[5]Połacik, T., Pitts' quantifiers are not topological quantification, forthcoming in Notre Dame Journal of Formal Logic.
[6]Połacik, T., Operators defined by propositional quantification and their interpretations over Cantor space, Reports on Mathematical Logic, vol. 27 (1993), pp. 6779.
[7]Tarski, A., Der Aussagenkalkül und die Topologie, Fundamenta Mathemeticae, vol. 31 (1938), pp. 103134.
[8]Troelstra, A. S., On a second order propositional operator in intuitionistic logic, Stadia Logica, vol. 40 (1981), pp. 113139.
[9]Visser, A., Bisimulations, model descriptions and propositional quantifiers, Logic Group Preprint Series 161, Department of Philosophy, Utrecht University, Utrecht, 1996.

Related content

Powered by UNSILO

Propositional quantification in the monadic fragment of intuitionistic logic

  • Tomasz Połacik (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.