Richard Zach - RankMe

46 papers A 1B 8C 1Journal 29Unranked 7

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