Anselm's God in Isabelle/HOL

Download Edit this record How to cite View on PhilPapers
Abstract
Paul Oppenheimer and Edward Zalta's formalisation of Anselm's ontological argument for the existence of God is automated by embedding a free logic for definite descriptions within Isabelle/HOL.
PhilPapers/Archive ID
BLUAGI-2
Upload history
Archival date: 2017-09-20
View other versions
Added to PP index
2017-09-20

Total views
302 ( #26,130 of 71,350 )

Recent downloads (6 months)
41 ( #20,271 of 71,350 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.