Keywords: Cut-Elimination
2017
[5] Cut-Elimination for Quantified Conditional Logic (Christoph Benzmüller), In Journal of Philosophical Logic, volume 46, number 3, pp. 333-353, 2017. (Springer Nature Link) [bibtex] [pdf] [doi]
2009
[4] Cut-Simulation and Impredicativity (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Logical Methods in Computer Science, volume 5, number 1:6, pp. 1-21, 2009. [bibtex] [pdf] [doi]
2006
[3] Cut-Simulation in Impredicate Logics (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Ulrich Furbach, Natarajan Shankar, eds.), Springer, LNCS, volume 4130, pp. 220-234, 2006. (slides) [bibtex] [pdf] [doi]
2004
[2] Higher-Order Semantics and Extensionality (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Journal of Symbolic Logic, volume 69, number 4, pp. 1027-1088, 2004. [bibtex] [pdf] [doi]
2003
[1] Semantic Techniques for Cut-Elimination in Higher Order Logic. (Christoph Benzmüller, Chad Brown, Michael Kohlhase), Technical report, Saarland University, Saarbrücken, Germany and Carnegie Mellon University, Pittsburgh, USA, 2003. [bibtex] [pdf]
Powered by bibtexbrowser