Algorithmic Structuring of Cut-free Proofs. - Matthias Baaz; Richard Zach (CSL, 1992)

Note on calculi for a three-valued logic for logic programming.. - Matthias Baaz; Richard Zach (Bull. EATCS, 1992)

Short Proofs of Tautologies Using the Schema of Equivalence. - Matthias Baaz; Richard Zach (CSL, 1993)

Systematic Construction of Natural Deduction Systems for Many-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Richard Zach (ISMVL, 1993)

MULTILOG: A System for Axiomatizing Many-valued Logics. - Matthias Baaz; Christian G. Fermüller; Arie Ovrutcki; Richard Zach (LPAR, 1993)

Dual systems of sequents and tableaux for many-valued logics. - Matthias Baaz; Christian G. Fermüller; Richard Zach (Bull. EATCS, 1993)

Elimination of Cuts in First-order Finite-valued Logics. - Matthias Baaz; Christian G. Fermüller; Richard Zach (J. Inf. Process. Cybern., 1993)

Approximating Propositional Calculi by Finite-Valued Logics. - Matthias Baaz; Richard Zach (ISMVL, 1994)

Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. - Petr Hájek 001; Richard Zach (J. Appl. Non Class. Logics, 1994)

Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. - Matthias Baaz; Alexander Leitsch; Richard Zach (CSL, 1995)

Generalizing Theorems in Real Closed Fields. - Matthias Baaz; Richard Zach (Ann. Pure Appl. Log., 1995)

MUltlog 1.0: Towards an Expert System for Many-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Gernot Salzer; Richard Zach (CADE, 1996)

Completeness of a First-Order Temporal Logic with Time-Gaps. - Matthias Baaz; Alexander Leitsch; Richard Zach (Theor. Comput. Sci., 1996)

Compact Propositional Gödel Logics. - Matthias Baaz; Richard Zach (ISMVL, 1998)

Note on generalizing theorems in algebraically closed fields. - Matthias Baaz; Richard Zach (Arch. Math. Log., 1998)

Labeled Calculi and Finite-Valued Logics. - Matthias Baaz; Christian G. Fermüller; Gernot Salzer; Richard Zach (Stud Logica, 1998)

Completeness before Post: Bernays, Hilbert, and the development of propositional logic. - Richard Zach (Bull. Symb. Log., 1999)

Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. - Matthias Baaz; Richard Zach (CSL, 2000)

Quantified Propositional Gödel Logics. - Matthias Baaz; Agata Ciabattoni; Richard Zach (LPAR, 2000)

Tableaux for Reasoning About Atomic Updates. - Christian G. Fermüller; Georg Moser; Richard Zach (LPAR, 2001)

The Epsilon Calculus (Tutorial). - Georg Moser; Richard Zach (CSL, 2003)

Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. - Matthias Baaz; Norbert Preining; Richard Zach (ISMVL, 2003)

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program. - Richard Zach (Synth., 2003)

Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω. - Richard Zach (J. Philos. Log., 2004)

Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap. - Richard Zach (Notre Dame J. Formal Log., 2005)

Kurt Gödel and Computability Theory. - Richard Zach (CiE, 2006)

Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. - Matthias Baaz; Norbert Preining; Richard Zach (ISMVL, 2006)

The Epsilon Calculus and Herbrand Complexity. - Georg Moser; Richard Zach (Stud Logica, 2006)

First-order Gödel logics. - Matthias Baaz; Norbert Preining; Richard Zach (Ann. Pure Appl. Log., 2007)

Effective Finite-Valued Approximations of General Propositional Logics. - Matthias Baaz; Richard Zach (Pillars of Computer Science, 2008)

Mathematical Methods in Philosophy Editors' Introduction. - Aldo Antonelli; Alasdair Urquhart; Richard Zach (Rev. Symb. Log., 2008)

Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic. - Paolo Mancosu; Richard Zach (Bull. Symb. Log., 2015)

Helmut Veith (1971-2016). - Thomas Eiter; Richard Zach (Bull. EATCS, 2016)

Helmut Veith (1971-2016) by Richard Zach. - Richard Zach (Bull. EATCS, 2016)

Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective). - Richard Zach (J. Philos. Log., 2016)

Semantics and Proof Theory of the Epsilon Calculus. - Richard Zach (ICLA, 2017)

Carnap's early metatheory: scope and limits. - Georg Schiemer; Richard Zach; Erich H. Reck (Synth., 2017)

Relational Hypersequents for Modal Logics. - Samara Burns; Richard Zach (CoRR, 2018)

Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC. - Richard Zach (CoRR, 2018)

Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d. - Samara Burns; Richard Zach (Rev. Symb. Log., 2021)

Cut Elimination and Normalization for generalized single and Multi-Conclusion Sequent and Natural Deduction Calculi. - Richard Zach (Rev. Symb. Log., 2021)

Corrections to: Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective). - Richard Zach (J. Philos. Log., 2022)

Epsilon theorems in Intermediate Logics. - Matthias Baaz; Richard Zach (J. Symb. Log., 2022)

The Genealogy of ''. - Landon D. C. Elkind; Richard Zach (Rev. Symb. Log., 2023)