Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument (bibtex)
by David Fuenmayor, Christoph Benzmüller
View PDF
Reference:
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument (David Fuenmayor, Christoph Benzmüller), In Archive of Formal Proofs, pp. 1--19, 2017. (Note: verified data publication)
Bibtex Entry:
@article{J37,
  Author =	 {David Fuenmayor and Christoph Benzm{\"u}ller},
  Journal =	 {Archive of Formal Proofs},
  Keywords =	 {own, Automated Reasoning, Interactive Proof,
                  Ontology Reasoning, Higher Order Logic,
                  Computational Metaphysics},
  Addendum =	 {Note: verified data publication},
  Title =	 {{Computer-assisted Reconstruction and Assessment of
                  E. J. Lowe's Modal Ontological Argument}},
  Url =
                  {https://www.isa-afp.org/entries/Lowe_Ontological_Argument.html},
  Year =	 2017,
  Pages = {1--19},
}