University of Calgary
UofC Navigation

Research and Publications

Open Textbook Project

Edition Projects

Edited Collection

Papers by Subject

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

History of Logic

Theory of Proofs

Philosophy of Mathematics

Gödel Logics

Finite-valued Logic

Other Logic

Other Writings


Papers Chronologically

Published Articles and Articles in Press

  1. Carnap's Early Metatheory: Scope and Limits. Synthese (2015), forthcoming (with Georg Schiemer and Erich Reck).
  2. Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective). Journal of Philosophical Logic, (2015), forthcoming.
  3. 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)
  4. Vagueness, logic and use: Four experimental studies on vagueness. Mind and Language 26 (2011) 540–573. (with Phil Serchuk and Ian Hargreaves)
  5. 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)
  6. 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)
  7. First-order Gödel Logics. Annals of Pure and Applied Logic 147 (2007) 23-47 (with Matthias Baaz and Norbert Preining)
  8. 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
  9. The epsilon calculus and Herbrand complexity. Studia Logica 82 (2006) 133-155 (with Georg Moser).
  10. Hilbert’s program then and now. In: Dale Jacquette, ed., Philosophy of Logic (Elsevier, Amsterdam, 2006), 411-447.
  11. Critical study of Michael Potter's Reason's Nearest Kin. Notre Dame J. Formal Logic 46 (2005) 503–513.
  12. Kurt Gödel, paper on the incompleteness theorems (1931), In: Ivor Grattan-Guinness, ed., Landmark Writings in Mathematics (North-Holland, Amsterdam, 2004) 917–925
  13. Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity ? ?, Journal of Philosophical Logic 33 (2004) 155–164.
  14. Hilbert's "Verunglückter Beweis," the first epsilon theorem, and consistency proofs, History and Philosophy of Logic 25 (2004) 79–94.
  15. The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's Program, Synthese 137 (2003) 211-259.
  16. Hilbert's Program, Stanford Encyclopedia of Philosophy, 2003.
  17. 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 (IEEE Computer Society Press, 2003) 175-180 (with Matthias Baaz and Norbert Preining).
  18. The epsilon calculus, Stanford Encyclopedia of Philosophy, 2002. (with Jeremy Avigad)
  19. 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).
  20. 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)
  21. 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)
  22. Completeness before Post: Bernays, Hilbert, and the development of propositional logic, Bulletin of Symbolic Logic 5 (1999) 331–366.
  23. 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)
  24. Labeled calculi and finite-valued logics, Studia Logica 61 (1998) 7–33 (with Matthias Baaz, Christian G. Fermüller, Gernot Salzer)
  25. Note on generalizing theorems in algebraically closed fields, Archive for Mathematical Logic 37 (1998) 297–307 (with Matthias Baaz)
  26. 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)
  27. A complete first-order temporal logic of time with gaps, Theoretical Computer Science 160 (1996) 241–270 (with Matthias Baaz, Alexander Leitsch)
  28. 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)
  29. Generalizing theorems in real closed fields, Annals of Pure and Applied Logic 75 (1995) 3–23 (with Matthias Baaz)
  30. 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)
  31. 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)
  32. 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)
  33. 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)
  34. 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)
  35. 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)

Reviews and Reports

  1. (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
  2. (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.
  3. (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)
  4. (Report) Art/ificial Intelligence. A Short Bibliography on AI and the Arts, ÖFAI Report TR-90-14, Austrian Research Institute for Artificial Intelligence, 1990 (with Gerhard Widmer, Robert Trappl)


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

Work in Progress

  1. Gödel's first incompleteness theorem and mathematical instrumentalism.