Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N. Mechanizing Principia Logico-Metaphysica in functional type-theory. (English) Zbl 07181947 Rev. Symb. Log. 13, No. 1, 206-218 (2020). MSC: 03A05 03B35 03B45 03B60 03B80 68V15 68T27 68T30 PDF BibTeX XML Cite \textit{D. Kirchner} et al., Rev. Symb. Log. 13, No. 1, 206--218 (2020; Zbl 07181947) Full Text: DOI
Benzmüller, C.; Weber, Leon; Woltzenlogel Paleo, Bruno Computer-assisted analysis of the Anderson-Hájek ontological controversy. (English) Zbl 1417.03131 Log. Univers. 11, No. 1, 139-151 (2017). MSC: 03B35 03B15 03B45 PDF BibTeX XML Cite \textit{C. Benzmüller} et al., Log. Univers. 11, No. 1, 139--151 (2017; Zbl 1417.03131) Full Text: DOI