Maffezioli, Paolo; Varzi, Achille C. Intuitionistic mereology. II: Overlap and disjointness. (English) Zbl 07721421 J. Philos. Log. 52, No. 4, 1197-1233 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{P. Maffezioli} and \textit{A. C. Varzi}, J. Philos. Log. 52, No. 4, 1197--1233 (2023; Zbl 07721421) Full Text: DOI
Kripke, Saul A. Ungroundedness in Tarskian languages. (English) Zbl 1457.03016 J. Philos. Log. 48, No. 3, 603-609 (2019). MSC: 03A05 03D65 PDFBibTeX XMLCite \textit{S. A. Kripke}, J. Philos. Log. 48, No. 3, 603--609 (2019; Zbl 1457.03016) Full Text: DOI
McCarty, Charles Paradox and potential infinity. (English) Zbl 1277.03059 J. Philos. Log. 42, No. 1, 195-219 (2013). Reviewer: Marco Benini (Buccinasco) MSC: 03F55 03A05 03F30 PDFBibTeX XMLCite \textit{C. McCarty}, J. Philos. Log. 42, No. 1, 195--219 (2013; Zbl 1277.03059) Full Text: DOI
Horsten, Leon Provability in principle and controversial constructivistic principles. (English) Zbl 0883.03011 J. Philos. Log. 26, No. 6, 635-660 (1997). Reviewer: Leon Horsten (Leuven) MSC: 03B45 03F50 03F30 03F55 PDFBibTeX XMLCite \textit{L. Horsten}, J. Philos. Log. 26, No. 6, 635--660 (1997; Zbl 0883.03011) Full Text: DOI
Feferman, Solomon Intensionality in mathematics. (English) Zbl 0558.03002 J. Philos. Logic 14, 41-55 (1985). Reviewer: L.F.Goble MSC: 03A05 03E70 03F65 PDFBibTeX XMLCite \textit{S. Feferman}, J. Philos. Log. 14, 41--55 (1985; Zbl 0558.03002) Full Text: DOI
Posy, Carl J. The theory of empirical sequences. (English) Zbl 0406.03072 J. Philos. Logic 6, 47-81 (1977). MSC: 03F55 PDFBibTeX XMLCite \textit{C. J. Posy}, J. Philos. Log. 6, 47--81 (1977; Zbl 0406.03072) Full Text: DOI