UofC Logo
Richard Zach
 Home · CV · Teaching · Publications · Blog · Philosophy Department


Some of the following papers have abstracts online with links to download the paper in PostScript or PDF format. To view and print PDF files, you need a program such as Acrobat Reader, available for free from Adobe, which is probably already installed on your computer.  To view or print PostScript files you need either a PostScript printer or a program like GhostScript, also available for free. For technical reasons, the versions here may differ slightly from the published originals.  In particular, the pagination may not agree with the published versions. A printable list of publications is included in my CV. Preprints of papers submitted for publication can also be found on arXiv.

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

Papers Chronologically

Work in Progress

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

Published Articles and Articles in Press

  1. First-order Gödel Logics. Annals of Pure and Applied Logic, to appear (with Matthias Baaz and Norbert Preining)
  2. The epsilon calculus and Herbrand complexity. Studia Logica 82 (2006) 133-155 (with Georg Moser).
  3. Hilbert’s program then and now. In: Dale Jacquette, ed., Handbook of
    the Philosophy of Logic
    (North-Holland, Amsterdam), 53 pp., forthcoming.
  4. 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, to appear. 178 pp. (with Paolo Mancosu and Calixto Badesa)
  5. Kurt Gödel, paper on the incompleteness theorems (1931), In: Ivor Grattan-Guinness, ed., Landmark Writings in Mathematics (North-Holland, Amsterdam, 2004) 917–925
  6. Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity ≤ ω, Journal of Philosophical Logic 33 (2004) 155–164.
  7. Hilbert's "Verunglückter Beweis," the first epsilon theorem, and consistency proofs, History and Philosophy of Logic 25 (2004) 79–94.
  8. The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's Program, Synthese 137 (2003) 211-259.
  9. Hilbert's Program, Stanford Encyclopedia of Philosophy, 2003.
  10. 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).
  11. The epsilon calculus, Stanford Encyclopedia of Philosophy, 2002. http://plato.stanford.edu/entries/epsilon-calculus/ (with Jeremy Avigad)
  12. 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).
  13. 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)
  14. 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)
  15. Completeness before Post: Bernays, Hilbert, and the development of propositional logic, Bulletin of Symbolic Logic 5 (1999) 331–366.
  16. 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) 
  17. Labeled calculi and finite-valued logics, Studia Logica 61 (1998) 7–33 (with Matthias Baaz, Christian G. Fermüller, Gernot Salzer)
  18. Note on generalizing theorems in algebraically  closed fields, Archive for Mathematical Logic 37 (1998) 297–307 (with Matthias Baaz)
  19. 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)
  20. A complete first-order temporal logic of time with gapsTheoretical Computer Science 160 (1996) 241–270  (with Matthias Baaz, Alexander Leitsch)
  21. 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)
  22. Generalizing theorems in real closed fieldsAnnals of Pure and Applied Logic 75 (1995) 3–23 (with Matthias Baaz)
  23. 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)
  24. 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)
  25. Short proofs of tautologies using the schema of equivalenceComputer Science Logic. 7th Workshop, CSL'93. Swansea. Selected Papers (Springer, Berlin, 1994) 33–35  (with Matthias Baaz)
  26. 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)
  27. 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)
  28. 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)

Abstracts, Reviews, 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

Home · CV · Teaching · Publications · Blog · Philosophy Department
Last updated October 14, 2006