Richard Zach

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 13

Top Topics

Cut Elimination

Dempster Shafer

Sequent Calculi

Natural Deduction

Top Venues

Rev. Symb. Log.

J. Philos. Log.

Publications

Landon D. C. Elkind, Richard Zach
The Genealogy of ''. Rev. Symb. Log. 16 (3) (2023)
Matthias Baaz, Richard Zach
Epsilon theorems in Intermediate Logics. J. Symb. Log. 87 (2) (2022)
Richard Zach
Corrections to: Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective). J. Philos. Log. 51 (3) (2022)
Samara Burns, Richard Zach
Cut-Free Completeness for Modular Hypersequent Calculi for Modal Logics k, T, and d. Rev. Symb. Log. 14 (4) (2021)
Richard Zach
Cut Elimination and Normalization for generalized single and Multi-Conclusion Sequent and Natural Deduction Calculi. Rev. Symb. Log. 14 (3) (2021)
Samara Burns, Richard Zach
Relational Hypersequents for Modal Logics. CoRR (2018)
Richard Zach
Non-Analytic Tableaux for Chellas's Conditional Logic CK and Lewis's Logic of Counterfactuals VC. CoRR (2018)
Georg Schiemer, Richard Zach, Erich H. Reck
Carnap's early metatheory: scope and limits. Synth. 194 (1) (2017)
Richard Zach
Semantics and Proof Theory of the Epsilon Calculus. ICLA (2017)
Richard Zach
Helmut Veith (1971-2016) by Richard Zach. Bull. EATCS 119 (2016)
Richard Zach
Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective). J. Philos. Log. 45 (2) (2016)
Thomas Eiter, Richard Zach
Helmut Veith (1971-2016). Bull. EATCS 119 (2016)
Paolo Mancosu, Richard Zach
Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of Logic. Bull. Symb. Log. 21 (2) (2015)
Matthias Baaz, Richard Zach
Effective Finite-Valued Approximations of General Propositional Logics. Pillars of Computer Science (2008)
Aldo Antonelli, Alasdair Urquhart, Richard Zach
Mathematical Methods in Philosophy Editors' Introduction. Rev. Symb. Log. 1 (2) (2008)
Matthias Baaz, Norbert Preining, Richard Zach
First-order Gödel logics. Ann. Pure Appl. Log. 147 (1-2) (2007)
Georg Moser, Richard Zach
The Epsilon Calculus and Herbrand Complexity. Stud Logica 82 (1) (2006)
Matthias Baaz, Norbert Preining, Richard Zach
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. ISMVL (2006)
Richard Zach
Kurt Gödel and Computability Theory. CiE (2006)
Richard Zach
. Notre Dame J. Formal Log. 46 (4) (2005)
Richard Zach
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω. J. Philos. Log. 33 (2) (2004)
Matthias Baaz, Norbert Preining, Richard Zach
Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. ISMVL (2003)
Georg Moser, Richard Zach
The Epsilon Calculus (Tutorial). CSL (2003)
Richard Zach
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program. Synth. 137 (1-2) (2003)
Christian G. Fermüller, Georg Moser, Richard Zach
Tableaux for Reasoning About Atomic Updates. LPAR (2001)
Matthias Baaz, Richard Zach
Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. CSL (2000)
Matthias Baaz, Agata Ciabattoni, Richard Zach
Quantified Propositional Gödel Logics. LPAR (2000)
Richard Zach
Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Bull. Symb. Log. 5 (3) (1999)
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
Labeled Calculi and Finite-Valued Logics. Stud Logica 61 (1) (1998)
Matthias Baaz, Richard Zach
Note on generalizing theorems in algebraically closed fields. Arch. Math. Log. 37 (5-6) (1998)
Matthias Baaz, Richard Zach
Compact Propositional Gödel Logics. ISMVL (1998)
Matthias Baaz, Alexander Leitsch, Richard Zach
Completeness of a First-Order Temporal Logic with Time-Gaps. Theor. Comput. Sci. 160 (1&2) (1996)
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
MUltlog 1.0: Towards an Expert System for Many-Valued Logics. CADE (1996)
Matthias Baaz, Richard Zach
Generalizing Theorems in Real Closed Fields. Ann. Pure Appl. Log. 75 (1-2) (1995)
Matthias Baaz, Alexander Leitsch, Richard Zach
Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. CSL (1995)
Petr Hájek, Richard Zach
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. J. Appl. Non Class. Logics 4 (2) (1994)
Matthias Baaz, Richard Zach
Approximating Propositional Calculi by Finite-Valued Logics. ISMVL (1994)
Matthias Baaz, Christian G. Fermüller, Richard Zach
Dual systems of sequents and tableaux for many-valued logics. Bull. EATCS 51 (1993)
Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach
MULTILOG: A System for Axiomatizing Many-valued Logics. LPAR (1993)
Matthias Baaz, Christian G. Fermüller, Richard Zach
Systematic Construction of Natural Deduction Systems for Many-Valued Logics. ISMVL (1993)
Matthias Baaz, Christian G. Fermüller, Richard Zach
Elimination of Cuts in First-order Finite-valued Logics. J. Inf. Process. Cybern. 29 (6) (1993)
Matthias Baaz, Christian G. Fermüller, Richard Zach
Dual systems of sequents and tableaux for many-valued logics. Bull. EATCS 49 (1993)
Matthias Baaz, Richard Zach
Short Proofs of Tautologies Using the Schema of Equivalence. CSL (1993)
Matthias Baaz, Richard Zach
Algorithmic Structuring of Cut-free Proofs. CSL (1992)
Matthias Baaz, Richard Zach
Note on calculi for a three-valued logic for logic programming.. Bull. EATCS 48 (1992)