Połacik, Tomasz Pitts’ quantifiers are not topological quantification. (English) Zbl 0966.03008 Notre Dame J. Formal Logic 39, No. 4, 531-544 (1998). MSC: 03B20 PDFBibTeX XMLCite \textit{T. Połacik}, Notre Dame J. Formal Logic 39, No. 4, 531--544 (1998; Zbl 0966.03008) Full Text: DOI
Połacik, Tomasz Propositional quantification in the monadic fragment of intuitionistic logic. (English) Zbl 0959.03005 J. Symb. Log. 63, No. 1, 269-300 (1998). MSC: 03B20 PDFBibTeX XMLCite \textit{T. Połacik}, J. Symb. Log. 63, No. 1, 269--300 (1998; Zbl 0959.03005) Full Text: DOI