Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy (bibtex)
by Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel Paleo
Reference:
Computer-Assisted Analysis of the Anderson-Hájek Ontological Controversy (Christoph Benzmüller, Leon Weber, Bruno Woltzenlogel Paleo), In Handbook of the 1st World Congress on Logic and Religion, Joao Pessoa, Brasil (Ricardo Souza Silvestre, Jean-Yves Béziau, eds.), pp. 53-54, 2015. ((superseded by 2016 article in Logica Universalis))
Bibtex Entry:
@inproceedings{C41,
  Author =	 {Christoph Benzm{\"u}ller and Leon Weber and Bruno
                  Woltzenlogel Paleo},
  Booktitle =	 {Handbook of the 1st World Congress on Logic and
                  Religion, Joao Pessoa, Brasil},
  Editor =	 {Ricardo Souza Silvestre and Jean-Yves B\'eziau},
  Keywords =	 {own, Automated Reasoning, Interactive Proof, Ontology
                  Reasoning, LEO Prover, Higher Order Logic,
                  Computational Metaphysics},
  Note =	 {(superseded by 2016 article in Logica Universalis)},
  Pages =	 {53-54},
  Title =	 {Computer-Assisted Analysis of the
                  {Anderson-H\'{a}jek} Ontological Controversy},
  Url =
                  {http://christoph-benzmueller.de/papers/2015-handbook-logic-and-religion.pdf},
  Year =	 2015,
}
Powered by bibtexbrowser