On Logic Embeddings and Gödel's God (bibtex)
by Christoph Benzmüller, Bruno Woltzenlogel Paleo
Reference:
On Logic Embeddings and Gödel's God (Christoph Benzmüller, Bruno Woltzenlogel Paleo), In Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers (Mihai Codescu, Razvan Diaconescu, Ionut Tutu, eds.), Springer, LNCS, number 9563, pp. 3-6, 2015. ((Invited paper))
Bibtex Entry:
@inproceedings{W55,
  Address =	 {Sinaia, Romania},
  Author =	 {Christoph Benzm{\"u}ller and Woltzenlogel Paleo,
                  Bruno},
  Booktitle =	 {Recent Trends in Algebraic Development Techniques:
                  22nd International Workshop, WADT 2014, Sinaia,
                  Romania, September 4-7, 2014, Revised Selected
                  Papers},
  Doi =		 {10.1007/978-3-319-28114-8_1},
  Editor =	 {Codescu, Mihai and Diaconescu, Razvan and Tutu,
                  Ionut},
  Isbn =	 {978-3-319-28114-8},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Modal
                  Logics, Automated Reasoning, Computational
                  Metaphysics},
  Note =	 {(Invited paper)},
  Number =	 9563,
  Pages =	 {3-6},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {On Logic Embeddings and {G\"odel's} {God}},
  Url =		 {http://christoph-benzmueller.de/papers/W55.pdf},
  Year =	 2015,
}
Powered by bibtexbrowser