

Richard Zach
Positions
Professor
Graduate Program Director
Contact information
Background
Educational Background
Diplom-Ingenieur Computational Logic, Vienna University of Technology, 1993
Ph.D. Logic and the Methodology of Science, University of California, Berkeley, 2001
Research
Areas of Research
Participation in university strategic initiatives
Courses
Course number | Course title | Semester |
---|---|---|
PHIL 603 | Proseminar | Fall 2023 |
PHIL 579/679 | Topics in Logic: Modal Logic | Winter 2024 |
Awards
- Professeur invité, Université Paris 1 Pantheon-Sorbonne. 2023
- Shoenfield Prize, Association for Symbolic Logic. 2022
- Bulletin of Symbolic Logic 25th Anniversary Prize, Association for Symbolic Logic/Cambridge University Press. 2021
- Visiting Professor, McGill University. 2015
- Annual Fellow, Calgary Institute for the Humanities. 2013
- Erasmus Mundus Scholar, Technical University Vienna. 2009
- Visiting Fellow, University of California, Irvine. 2004
Publications
- The genealogy of ‘∨’. Richard Zach and Landon D. C. Elkind. The Review of Symbolic Logic 16(3). 862–899. (2023)
- Epsilon theorems in intermediate logics. Matthias Baaz; Richard Zach. The Journal of Symbolic Logic 87 (2). 682–720. (2022)
- An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs. Paolo Mancosu; Sergio Galvan; Richard Zach. Oxford University Press. (2021)
- Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D. Samara Burns; Richard Zach. The Review of Symbolic Logic 14 (4). 910–929. (2021)
- Cut elimination and normalization for generalized single and multi-conclusion sequent and natural deduction calculi. Richard Zach. The Review of Symbolic Logic 14 (3). 645–686. (2021)
- The epsilon calculus. Jeremy Avigad; Richard Zach. Stanford Encyclopedia of Philosophy. (2019)
- The significance of the Curry-Howard isomorphism. Richard Zach. Philosophy of Logic and Mathematics. Proceedings of the 41st International Ludwig Wittgenstein Symposium. 313-325. (2019)
- Hilbert's Program. Richard Zach. Stanford Encyclopedia of Philosophy. (2019)
- forall x: Calgary Remix. An introduction to formal logic. Tim Button; P. D. Magnus; Robert Trueman; J. Robert Loftis; Aaron Thomas-Bolduc; Richard Zach. 380. (2019)
- Boxes and diamonds. An open introduction to modal logic. Richard Zach. 262. (2019)
- Sets, logic, computation. An open introduction to metalogic. Richard Zach. 373. (2019)
- Incompleteness and computability. An open introduction to Gödel's theorems. Richard Zach. 280. (2019)
- Semantics and proof theory of the epsilon calculus. Richard Zach. Springer. 27-47. (2017)
- The development of mathematical logic from Russell to Tarski: 1900–1935. Paolo Mancosu; Richard Zach; Calixto Badesa. The History of Modern Logic (Oxford University Press). 324–478. (2009)
- Hilbert’s program then and now. Richard Zach. Philosophy of Logic (Elsevier). 411–447. (2006)
Are you the profile owner?
Login to edit.