On Logic Embeddings and Goedel's God

C. Benzmüller, B. Woltzenlogel Paleo— 2015

We have applied an elegant and exible logic embedding approach to verify and automate a prominent philosophical argument: the ontological argument for the existence of God. In our ongoing computerassisted study, higher-order automated reasoning tools have made some interesting observations, some of which were previously unknown.

TitelOn Logic Embeddings and Goedel's God
VerfasserC. Benzmüller, B. Woltzenlogel Paleo
Erschienen inProceedings of the 22nd International Workshop on Algebraic Development Techniques (WADT 2014), Springer, LNCS, 2015.
RechteCopyright by Springer. When citing this work cite the original link.