Publisher
Springer International Publishing
Reference21 articles.
1. Anderson, C. A. (1990). Some emendations of Gödel’s ontological proof. Faith and Philosophy, 7(3), 291–303.
2. Anderson, C. A., & Gettings, M. (1996). Gödel’s ontological proof revisited. In P. Hajek (Ed.), Gödel ‘96: Logical foundations of mathematics, computer science, and physics: Lecture notes in logic 6 (pp. 167–172). Cambridge University Press.
3. Benzmüller, C. (2019). Universal (meta-)logical reasoning: Recent successes. Science of Computer Programming, 172, 48–62. https://doi.org/10.1016/j.scico.2018.10.008
4. Benzmüller, C. (2020). A (simplified) supreme being necessarily exists, says the computer: Computationally explored variants of Gödel’s ontological argument. In Proceedings of the 17th international conference on principles of knowledge representation and reasoning (pp. 779–789). https://doi.org/10.24963/kr.2020/80
5. Benzmüller, C., & Andrews, P. (2019). Church’s type theory. In E. N. Zalta & U. Nodelman (Eds.), The Stanford Encyclopedia of philosophy (Winter 2022 ed.) https://plato.stanford.edu/archives/win2022/entries/type-theory-church/. Accessed 19 Apr 2023