Anselm's God in Isabelle/HOL

Download Edit this record How to cite View on PhilPapers
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
Upload history
Archival date: 2017-09-20
View other versions
Added to PP index

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.