Benzmüller, Christoph; Fuenmayor, David Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel’s ontological argument. (English) Zbl 07261571 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 127-148 (2020). MSC: 03 PDF BibTeX XML Cite \textit{C. Benzmüller} and \textit{D. Fuenmayor}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 127--148 (2020; Zbl 07261571) Full Text: DOI
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
Alama, Jesse; Oppenheimer, Paul E.; Zalta, Edward N. Automating Leibniz’s theory of concepts. (English) Zbl 06515498 Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21400-9/pbk; 978-3-319-21401-6/ebook). Lecture Notes in Computer Science 9195. Lecture Notes in Artificial Intelligence, 73-97 (2015). MSC: 03B35 68T15 PDF BibTeX XML Cite \textit{J. Alama} et al., Lect. Notes Comput. Sci. 9195, 73--97 (2015; Zbl 06515498) Full Text: DOI
Petersen, Steve Toward an algorithmic metaphysics. (English) Zbl 1403.68089 Dowe, David L. (ed.), Algorithmic probability and friends. Bayesian prediction and artificial intelligence. Papers from the Ray Solomonoff 85th memorial conference, Melbourne, VIC, Australia, November 30 – December 2, 2011. Berlin: Springer (ISBN 978-3-642-44957-4/pbk). Lecture Notes in Computer Science 7070. Lecture Notes in Artificial Intelligence, 306-317 (2013). MSC: 68Q30 03A10 PDF BibTeX XML Cite \textit{S. Petersen}, Lect. Notes Comput. Sci. 7070, 306--317 (2013; Zbl 1403.68089) Full Text: DOI
Hayes, Brian Debugging the universe. (English) Zbl 1028.83530 Int. J. Theor. Phys. 42, No. 2, 277-295 (2003). MSC: 83F05 83-08 PDF BibTeX XML Cite \textit{B. Hayes}, Int. J. Theor. Phys. 42, No. 2, 277--295 (2003; Zbl 1028.83530) Full Text: DOI