MiG

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
Datum2015
Quelle/n
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.