# Richard Zach

#71,328

Most Influential Person Now

Canadian logician and philosopher

## Richard Zach's AcademicInfluence.com Rankings

Richard Zachphilosophy Degrees

Philosophy

#2789

World Rank

#4658

Historical Rank

Mathematical Logic

#22

World Rank

#35

Historical Rank

Logic

#3069

World Rank

#4175

Historical Rank

## Download Badge

Philosophy

## Richard Zach's Degrees

- PhD Philosophy University of Calgary
- Masters Philosophy University of Calgary
- Bachelors Philosophy University of Calgary

## Similar Degrees You Can Earn

## Why Is Richard Zach Influential?

(Suggest an Edit or Addition)According to Wikipedia, Richard Zach is a Canadian logician, philosopher of mathematics, and historian of logic and analytic philosophy. He is currently Professor of Philosophy at the University of Calgary. Research Zach's research interests include the development of formal logic and historical figures associated with this development. In the philosophy of mathematics Zach has worked on Hilbert's program and the philosophical relevance of proof theory. In mathematical logic, he has made contributions to proof theory and to modal and many-valued logic, especially Gödel logic.

## Richard Zach's Published Works

### Published Works

- Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic (1999) (73)
- Vagueness, Logic and Use: Four Experimental Studies on Vagueness (2011) (70)
- Systematic construction of natural deduction systems for many-valued logics (1993) (69)
- Hilbert's program then and now (2005) (68)
- First-order Gödel logics (2006) (64)
- Proof Theory of Finite-valued Logics (1993) (64)
- Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic (2000) (62)
- Elimination of Cuts in First-order Finite-valued Logics (1993) (57)
- Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap (2005) (52)
- The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program (2001) (49)
- Labeled Calculi and Finite-Valued Logics (1998) (49)
- Compact propositional Godel logics (1998) (46)
- The development of mathematical logic from Russell to Tarski, 1900-1935 (2010) (43)
- Dual systems of sequents and tableaux for many-valued logics (1993) (42)
- The Epsilon Calculus and Herbrand Complexity (2005) (38)
- MUltlog 1.0: Towards an Expert System for Many-Valued Logics (1996) (35)
- Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations (1994) (34)
- Completeness of a First-Order Temporal Logic with Time-Gaps (1996) (25)
- Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs (1995) (24)
- Computability. Computable functions, logic, and the foundations of mathematics (2002) (24)
- Numbers and functions in Hilbert's finitism (1998) (22)
- Hilbert's Finitism: Historical, Philosophical, and Metamathematical Perspectives (2001) (18)
- Characterization of the axiomatizable prenex fragments of first-order godel logics (2003) (16)
- Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs (2002) (16)
- The Epsilon Calculus (Tutorial) (2002) (15)
- Algorithmic Structuring of Cut-free Proofs (1992) (15)
- Quantified Propositional Gödel Logics (2000) (15)
- Generalizing Theorems in Real Closed Fields (1995) (13)
- MULTILOG: A System for Axiomatizing Many-valued Logics (1993) (11)
- Hypersequents and Cut Elimination for Intuitionistic Fuzzy Logic (2000) (10)
- Approximating propositional calculi by finite-valued logics (1994) (10)
- HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC (2015) (9)
- Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω (2002) (9)
- Short Proofs of Tautologies Using the Schema of Equivalence (1993) (9)
- The Genealogy of ‘∨’ (2022) (8)
- Note on calculi for a three-valued logic for logic programming (1992) (5)
- Lectures on the Epsilon Calculus (2014) (5)
- Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta (2006) (5)
- Carnap’s early metatheory: scope and limits (2015) (5)
- Quantified propositional Goedel logics (2000) (4)
- Kurt Gödel and Computability Theory (2006) (4)
- Semantics and Proof Theory of the Epsilon Calculus (2016) (4)
- Note on generalizing theorems in algebraically closed fields (1998) (3)
- Kurt Gödel, paper on the incompleteness theorems (1931) (2005) (3)
- Effective Finite-Valued Approximations of General Propositional Logics (2019) (2)
- Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective) (2015) (2)
- Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC (2018) (2)
- Torkel Franzén, Gödel's Theorem: An Incomplete Guide to its Use and Abuse (2005) (2)
- Relational Hypersequents for Modal Logics (2018) (1)
- Tableaux for Reasoning About Atomic Updates (2001) (1)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (2018) (1)
- Characterization of the Axiomatizable (2003) (1)
- Rumfitt on truth-grounds, negation, and vagueness (2018) (1)
- CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (2020) (1)
- Boxes and Diamonds: An Open Introduction to Modal Logic (2019) (1)
- Rumfitt on truth-grounds, negation, and vagueness (2018) (0)
- The First Epsilon Theorem in Pure Intuitionistic and Intermediate Logics (2019) (0)
- Ordinal notations and induction (2021) (0)
- Gödel Logics : Foundations and Applications to Computer Science (2003) (0)
- Disputatio. Précis de Internai Logic (2004) (0)
- The Significance of the Curry-Howard Isomorphism (2019) (0)
- Corrections to: Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective) (2022) (0)
- The Genealogy of $\lor$. (2020) (0)
- Evaluation of a student-oriented logic course (2018) (0)
- Helmut Veith (1971-2016) (2016) (0)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (2019) (0)
- The Minneapolis Hyatt Regency, Minneapolis, Minnesota May 3–4, 2001 (2001) (0)
- Some non-standard interpretations of the axiomatic basis of Leśniewski ’ s Ontology R U (2006) (0)
- Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective) (2015) (0)
- Carnap’s early metatheory: scope and limits (2015) (0)
- Boolos George S., Burgess John P., and Jeffrey Richard C.. Computability and logic, Fourth edition. Cambridge University Press, Cambridge, 2002. xi + 356 pp. (2003) (0)
- Helmut Veith (1971-2016) by Richard Zach (2016) (0)
- forall x: Calgary: An Introduction to Formal Logic (2019) (0)
- Some Unpublished Letters by G\"odel and von Neumann in the Fraenkel Archive (2023) (0)
- RSL volume 2 issue 2 Cover and Front matter (2009) (0)
- A Paedagogic Example of Cut-Elimination (2016) (0)
- Completeness of a Hypersequent Calculus for (2006) (0)
- Introduction to Bernays Text No. 5, “Problems of Theoretical Logic” (2004) (0)
- Corrections to: Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective) (2022) (0)
- forall x: An Introduction to Formal Logic - Fall 2019 Edition (Calgary) (2019) (0)
- Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC (2021) (0)
- Introduction to Bernays Text No. 6, “Appendix to Hilbert’s Lecture ‘The Foundations of Mathematics’” (2004) (0)
- MATHEMATICAL METHODS IN PHILOSOPHY EDITORS’ INTRODUCTION (2008) (0)
- The consistency of arithmetic (2021) (0)
- Association for Symbolic Logic (1999) (0)
- Sets, Logic, Computation: An Open Introduction to Metalogic (2019) (0)
- Quine's Paradox and Gödel's Theorem (2015) (0)

This paper list is powered by the following services:

## Other Resources About Richard Zach

## What Schools Are Affiliated With Richard Zach?

Richard Zach is affiliated with the following schools: