Glivenko and Kuroda for Simple Type Theory
Chad E. Brown, Christine Rizkallah
The Journal of Symbolic Logic, 2014.
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
(pdf)
Chad E. Brown
Journal of Automated Reasoning, 2013.
Analytic Tableaux for Higher-Order Logic with Choice
(pdf)
Julian Backes, Chad E. Brown
Journal of Automated Reasoning, 2011.
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Chad E. Brown, Gert Smolka
Logical Methods in Computer Science, 2010.
Cut-Simulation and Impredicativity
Christoph Benzmueller, Chad E. Brown, Michael Kohlhase
Logical Methods in Computer Science, 2009.
Satallax: An Automated Higher-Order Prover
(pdf)
Chad E. Brown
6th International Joint Conference on Automated Reasoning (IJCAR 2012), 2012.
Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems
(pdf)
Chad E. Brown
CADE – the 23rd International Conference on Automated Deduction, 2011.
Analytic Tableaux for Higher-Order Logic with Choice
(pdf)
Julian Backes, Chad E. Brown
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings, 2010.
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Geoff Sutcliffe, Christoph E. Benzmüller, Chad E. Brown, Frank Theiss
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, 2009.
Extended First-Order Logic
(pdf)
Chad E. Brown, Gert Smolka
Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Proceedings, 2009.
Terminating Tableaux for the Basic Fragment of Simple Type Theory
(pdf)
Chad E. Brown, Gert Smolka
TABLEAUX 2009, 2009.
M-set Models
(pdf)
Chad E. Brown
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, 2008.
Cut Elimination with xi-Functionality
(pdf)
Christoph E. Benzmüller, Chad E. Brown, Michael Kohlhase
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday, 2008.
Set Comprehension in Church's Type Theory
(pdf)
Chad E. Brown
PhD Thesis, Department of Mathematical Sciences, Carnegie Mellon University, 2004.
Reconsidering Pairs and Functions as Sets
(pdf)
Chad E. Brown
Technical Report, Technical Report of Article Submitted to Journal of Automated Reasoning, 2013.
From Classical Extensional Higher-Order Tableau to Intuitionistic Intentional Natural Deduction
(pdf)
Chad E. Brown, Christine Rizkallah
2013.
Glivenko and Kuroda for Simple Type Theory
(pdf)
Chad E. Brown, Christine Rizkallah
Technical Report, Submitted, 2011.
Faithful Reproductions of the Automath Landau Formalization
(pdf)
Chad E. Brown
Technical Report, 2011.
Complete Cut-Free Tableaux for Equational Simple Type Theory
(pdf)
Chad E. Brown, Gert Smolka
Technical Report, 2009.