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}