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
Courses
| Course number | Course title | Semester |
|---|---|---|
| PHIL 603 | Proseminar | 2022/23, 2023/24 |
| PHIL 579/679 | Topics in Logic: Modal Logic | Winter 2024 |
Awards
- 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
- 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.