Christoph Benzmüller (benzmueller)

My contributions to Philosophie.ch

Bibliography

Benzmüller, Christoph. 2017. “Cut-Elimination for Quantified Conditional Logic.” The Journal of Philosophical Logic 46(3): 333–353.
Benzmüller, Christoph and Andrews, Peter B. 2019. “Church’s Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2019/entries/type-theory-church/.
Benzmüller, Christoph and Andrews, Peter B. 2024. “Church’s Type Theory.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2024/entries/type-theory-church/.
Benzmüller, Christoph and Miller, Dale E. 2014. “Automation of Higher Order Logic.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 215–254. Amsterdam: Elsevier Science Publishers B.V.
Benzmüller, Christoph and Woltzenlogel Paleo, Bruno. 2017. “The Ontological Modal Collapse as a Collapse of the Square of Opposition.” in The Square of Opposition: A Cornerstone of Thought, edited by Jean-Yves Béziau and Gianfranco Basti, pp. 307–314. Studies in Universal Logic. Basel: Birkhäuser.
Passon, Oliver, Benzmüller, Christoph and Falkenburg, Brigitte, eds. 2023. On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit. Berlin: Springer, doi:10.1007/978-3-662-67045-3.
Steen, Alexander and Benzmüller, Christoph. 2016. “Sweet Sixteen: Automation via Embedding into Classical Higher-Order Logic.” Logic and Logical Philosophy 25(4): 535–554.
Wirth, Claus-Peter, Siekmann, Jörg H., Benzmüller, Christoph and Autexier, Serge. 2009. “Jacques Herbrand: Life, Logic, and Automated Deduction.” in Handbook of the History of Logic. Volume 5: Logic from Russell to Church, edited by Dov M. Gabbay and John Woods, pp. 195–254. Amsterdam: North-Holland Publishing Co.