On Logic Embeddings and Gödel's God

On Logic Embeddings and Gödel's God. Benzmüller, C. & Woltzenlogel Paleo, B. In Codescu, M., Diaconescu, R., & Tutu, I., editors, Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers, of LNCS, pages 3-6, Sinaia, Romania, 2015. Springer. (Invited paper)

Preprint doi bibtex 1 download

@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_preprint = {https://www.researchgate.net/publication/300112614},
  Year =	 2015,
}

Downloads: 1

{"_id":"BuBkXBdbMuwcctuhc","bibbaseid":"benzmller-woltzenlogelpaleo-onlogicembeddingsandgdelsgod-2015","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Sinaia, Romania","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Benzmüller"],"suffixes":[]},{"propositions":[],"lastnames":["Woltzenlogel","Paleo"],"firstnames":["Bruno"],"suffixes":[]}],"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":[{"propositions":[],"lastnames":["Codescu"],"firstnames":["Mihai"],"suffixes":[]},{"propositions":[],"lastnames":["Diaconescu"],"firstnames":["Razvan"],"suffixes":[]},{"propositions":[],"lastnames":["Tutu"],"firstnames":["Ionut"],"suffixes":[]}],"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ödel's God","url_preprint":"https://www.researchgate.net/publication/300112614","year":"2015","bibtex":"@inproceedings{W55,\n Address =\t {Sinaia, Romania},\n Author =\t {Christoph Benzm{\\\"u}ller and Woltzenlogel Paleo,\n Bruno},\n Booktitle =\t {Recent Trends in Algebraic Development Techniques:\n 22nd International Workshop, WADT 2014, Sinaia,\n Romania, September 4-7, 2014, Revised Selected\n Papers},\n Doi =\t\t {10.1007/978-3-319-28114-8_1},\n Editor =\t {Codescu, Mihai and Diaconescu, Razvan and Tutu,\n Ionut},\n Isbn =\t {978-3-319-28114-8},\n Keywords =\t {own, Higher Order Logic, Semantic Embedding, Modal\n Logics, Automated Reasoning, Computational\n Metaphysics},\n Note =\t {(Invited paper)},\n Number =\t 9563,\n Pages =\t {3-6},\n Publisher =\t {Springer},\n Series =\t {LNCS},\n Title =\t {On Logic Embeddings and {G\\\"odel's} {God}},\n url_preprint = {https://www.researchgate.net/publication/300112614},\n Year =\t 2015,\n}\n\n","author_short":["Benzmüller, C.","Woltzenlogel Paleo, B."],"editor_short":["Codescu, M.","Diaconescu, R.","Tutu, I."],"key":"W55","id":"W55","bibbaseid":"benzmller-woltzenlogelpaleo-onlogicembeddingsandgdelsgod-2015","role":"author","urls":{" preprint":"https://www.researchgate.net/publication/300112614"},"keyword":["own","Higher Order Logic","Semantic Embedding","Modal Logics","Automated Reasoning","Computational Metaphysics"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"http://page.mi.fu-berlin.de/cbenzmueller/papers/chris.bib","dataSources":["ckRabafyoGpACyPpf","S5G7BggtbXZA2Q63T"],"keywords":["own","higher order logic","semantic embedding","modal logics","automated reasoning","computational metaphysics"],"search_terms":["logic","embeddings","del","god","benzmüller","woltzenlogel paleo"],"title":"On Logic Embeddings and Gödel's God","year":2015,"downloads":1}