University of Calgary

UofC Navigation

*Mathematical Applications in Philosophy*, special issue of*The Review of Symbolic Logic*1 (September 2008). (Co-edited with Aldo Antonelli and Alasdair Urquhart.)

Click on links for abstracts, review information, and download links. See below for a list of publications in chronological order

**Carnap's Early Metatheory: Scope and Limits.***Synthese*(2015), forthcoming (with Georg Schiemer and Erich Reck).**Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective)**.*Journal of Philosophical Logic*, (2015), forthcoming.**Heinrich Behmann's 1921 lecture on the decision problem and the algebra of logic.***Bulletin of Symbolic Logic*21 (2015), 164-187. (with Paolo Mancosu)**Vagueness, logic and use: Four experimental studies on vagueness.***Mind and Language*26 (2011) 540–573. (with Phil Serchuk and Ian Hargreaves)**The development of mathematical logic from Russell to Tarski: 1900-1935.**In: Leila Haaparanta, ed.,*The History of Modern Logic*. New York and Oxford: Oxford University Press, 2009, pp. 324-479. (with Paolo Mancosu and Calixto Badesa)**Effective Finite-Valued Approximations of General Propositional Logics**. Avron, Arnon; Dershowitz, Nachum; Rabinovich, Alexander (Eds.).*Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday*. Lecture Notes in Computer Science 4800. Berlin: Springer, 2008. 107-129 (with Matthias Baaz)**First-order Gödel Logics**.*Annals of Pure and Applied Logic*147 (2007) 23-47 (with Matthias Baaz and Norbert Preining)**Kurt Gödel and computability theory**.*Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE*2006, Swansea. Proceedings. LNCS 3988 (Springer, Berlin, 2006) 575-58**The epsilon calculus and Herbrand complexity**.*Studia Logica*82 (2006) 133-155 (with Georg Moser).**Hilbert’s program then and now**. In: Dale Jacquette, ed.,*Philosophy of Logic*(Elsevier, Amsterdam, 2006), 411-447.**Critical study of Michael Potter's***Reason's Nearest Kin***.**Notre Dame J. Formal Logic**Kurt Gödel, paper on the incompleteness theorems (1931)**, In: Ivor Grattan-Guinness, ed.,*Landmark Writings in Mathematics*(North-Holland, Amsterdam, 2004) 917–925**Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity ? ?**,*Journal of Philosophical Logic*33 (2004) 155–164.**Hilbert's "Verunglückter Beweis," the first epsilon theorem, and consistency proofs**,*History and Philosophy of Logic*25 (2004) 79–94.**The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's Program**,*Synthese*137 (2003) 211-259.**Hilbert's Program**, Stanford Encyclopedia of Philosophy, 2003. http://plato.stanford.edu/entries/hilbert-program/**Characterization of the axiomatizable prenex fragments of first-order Gödel logics**,*33rd International Symposium on Multiple-valued Logic. Proceedings.*Tokyo, May 16-19, 2003**The epsilon calculus**, Stanford Encyclopedia of Philosophy, 2002. http://plato.stanford.edu/entries/epsilon-calculus/ (with Jeremy Avigad)**Tableaux for reasoning about atomic updates**,*Logic for Programming, Artificial Intelligence, and Reasoning. 8th International Conference, LPAR 2001.*Proceedings, LNAI 2250. (Springer, Berlin, 2001) 639–653 (with Christian G. Fermüller, Georg Moser).**Quantified propositional Gödel logic**, Voronkov, Andrei, and Michel Parigot (eds.),*Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000.*Proceedings, LNAI 1955 (Springer, Berlin, 2000) 240–256 (Matthias Baaz, Agata Ciabattoni)**Hypersequents and the proof theory of intuitionistic fuzzy logic**, Clote, Peter G., and Helmut Schwichtenberg (eds.),*Computer Science Logic. 14th International Workshop, CSL 2000.*Fischbachau, Germany, August 21-26, 2000. Proceedings. (Springer, Berlin, 2000) 187–201. (with Matthias Baaz)**Completeness before Post: Bernays, Hilbert, and the development of propositional logic**,*Bulletin of Symbolic Logic*5 (1999) 331–366.**Numbers and functions in Hilbert's finitism**,*Taiwanese Journal for Philosophy and History of Science*10 (1998) 33–60 (invited paper, special issue on philosophy of mathematics edited by Charles Chihara)**Labeled calculi and finite-valued logics**,*Studia Logica*61 (1998) 7–33 (with Matthias Baaz, Christian G. Fermüller, Gernot Salzer)**Note on generalizing theorems in algebraically closed fields**,*Archive for Mathematical Logic*37 (1998) 297–307 (with Matthias Baaz)**Compact propositional Gödel logics**,*28th International Symposium on Multiple Valued Logic. May 1998, Fukuoka, Japan. Proceedings*(IEEE Computer Society Press, Los Alamitos, 1998) 108–113 (with Matthias Baaz)**A complete first-order temporal logic of time with gaps**,*Theoretical Computer Science*160 (1996) 241–270 (with Matthias Baaz, Alexander Leitsch)**Incompleteness of an infinite-valued first-order Gödel logic and of some temporal logics of programs**,*Computer Science Logic. 9th Workshop, CSL'95. Paderborn. Selected Papers*(Springer, Berlin, 1996) 1–15 (with Matthias Baaz, Alexander Leitsch)**Generalizing theorems in real closed fields**,*Annals of Pure and Applied Logic*75 (1995) 3–23 (with Matthias Baaz)**Elimination of cuts in first-order many-valued logics**,*Journal of Information Processing and Cybernetics*29 (1994) 333–355 (with Matthias Baaz, Christian G. Fermüller)**Approximating propositional calculi by finite-valued logics**,*24th International Symposium on Multiple Valued Logic. Boston. Proceedings*(IEEE Press, Los Alamitos, 1994) 257–263 (with Matthias Baaz)**Short proofs of tautologies using the schema of equivalence**,*Computer Science Logic. 7th Workshop, CSL'93. Swansea. Selected Papers*(Springer, Berlin, 1994) 33–35 (with Matthias Baaz)**Systematic construction of natural deduction systems for many-valued logics**,*23rd International Symposium on Multiple Valued Logic. Sacramento. Proceedings*(IEEE Press, Los Alamitos, 1993) 208–213 (with Matthias Baaz, Christian G. Fermüller)**Dual systems of sequents and tableaux**,*Workshop on Tableau-based Deduction*, Marseille, 1993.*Bulletin of the EATCS*51 (1993) 192–197 (with Matthias Baaz, Christian G. Fermüller)**Algorithmic structuring of cut-free proofs**,*Computer Science Logic. 6th Workshop, CSL '92. San Miniato. Selected Papers*(Springer, Berlin, 1993) 29–42 (with Matthias Baaz)

- (Review)
**Review of***Computability and Logic***, 4th Edition, by George Boolos, John Burgess, and Richard Jeffrey (Cambridge, 2002)**.*Bulletin of Symbolic Logic*9 (2003) 520-521 - (Review)
**Review of***Computability. Computable Functions, Logic, and the Foundations of Mathematics***, 2nd Edition, by Richard L. Epstein and Walter A. Carnielli (Wadsworth, 2000)**.*History and Philosophy of Logic***23**(2002) 67–70. - (Review)
**Review of**,*Many-valued Logics: 1. Theoretical Foundations*, by Leonard Bolc and Piotr Borowik (Springer, Berlin, 1991)*Journal of Applied Non-Classical Logics***4**(1994) 215–220 (with Petr Hájek) - (Report)
, ÖFAI Report TR-90-14, Austrian Research Institute for Artificial Intelligence, 1990 (with Gerhard Widmer, Robert Trappl)**Art/ificial Intelligence. A Short Bibliography on AI and the Arts**

, Dissertation, University of California, Berkeley, Spring 2001*Hilbert's Finitism. Historical, Philosophical, and Metamathematical Perspectives*, Diploma Thesis, Technische Universität Wien, Vienna, 1993**Proof Theory of Finite-Valued Logics**