Year: 2019
2019
[5]What is a proof? What should it be? (Christoph Benzmüller), 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.13405.87521/1) [bibtex] [doi]
[4]Church's Type Theory (Peter Andrews, Christoph Benzmüller), Chapter in The Stanford Encyclopedia of Philosophy (Edward N. Zalta, ed.), Metaphysics Research Lab, Stanford University, 2019. (Summer 2019 (forthcoming)) [bibtex]
[3]Universal (Meta-)Logical Reasoning: Recent Successes (Christoph Benzmüller), In Science of Computer Programming, volume 172, pp. 48-62, 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.11039.61609/2) [bibtex] [doi]
[2]Automating Free Logic in HOL, with an Experimental Application in Category Theory (Christoph Benzmüller, Dana S. Scott), In Journal of Automated Reasoning, 2019. (Url (preprint): http://doi.org/10.13140/RG.2.2.11432.83202) [bibtex] [doi]
[1]Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments (David Fuenmayor, Christoph Benzmüller), Chapter in Postproceedings of CLAR-2018 (Beishui Liao, Thomas Agotnes, Yi N. Wang, eds.), Springer Singapore, Logic in Asia series (Studia Logica Library), 2019. (Url (preprint): 10.13140/RG.2.2.11784.26881, (accepted for publication)) [bibtex]
Powered by bibtexbrowser