Abstract
We show that Pitts' modeling of propositional quantification in intuitionistic logic (as the appropriate interpolants) does not coincide with the topological interpretation. This contrasts with the case of the monadic language and the interpretation over sufficiently regular topological spaces. We also point to the difference between the topological interpretation over sufficiently regular spaces and the interpretation of propositional quantifiers in Kripke models.
Citation
Tomasz Połacik. "Pitts' Quantifiers Are Not Topological Quantification." Notre Dame J. Formal Logic 39 (4) 531 - 544, Fall 1998. https://doi.org/10.1305/ndjfl/1039118868
Information