The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument (bibtex)
by David Fuenmayor, Christoph Benzmüller, Alexander Steen, Max Wisniewski
Reference:
The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological Argument (David Fuenmayor, Christoph Benzmüller, Alexander Steen, Max Wisniewski), In Handbook of the 2nd World Congress on Logic and Religion, Warsaw, Poland (Stanislaw Krajewski, Piotr Balcerowicz, eds.), pp. 3, 2017.
Bibtex Entry:
@inproceedings{C63,
  Author =	 {David Fuenmayor and Christoph Benzm{\"u}ller and
                  Alexander Steen and Max Wisniewski},
  Booktitle =	 {Handbook of the 2nd World Congress on Logic and
                  Religion, Warsaw, Poland},
  Editor =	 {Stanislaw Krajewski and Piotr Balcerowicz},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Pages =	 3,
  Title =	 {The Virtues of Automated Theorem Proving in
                  Metaphysics --- A Case Study: {E. J. Lowe's} Modal
                  Ontological Argument},
  Url =		 {http://christoph-benzmueller.de/papers/C63.pdf},
  Year =	 2017,
}
Powered by bibtexbrowser