Richard Zach - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2017

Carnap's early metatheory: scope and limitsGeorg Schiemer, Richard Zach, Erich H. Reck. synthese, 194(1):33-65, 2017. [doi]

Semantics and Proof Theory of the Epsilon CalculusRichard Zach. icla 2017: 27-47 [doi]

2016

Helmut Veith (1971-2016)Thomas Eiter, Richard Zach. eatcs, 119, 2016. [doi]

Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective)Richard Zach. jphil, 45(2):183-197, 2016. [doi]

Helmut Veith (1971-2016) by Richard ZachRichard Zach. eatcs, 119, 2016. [doi]

2015

Heinrich Behmann's 1921 Lecture on the Decision Problem and the Algebra of LogicPaolo Mancosu, Richard Zach. bsl, 21(2):164-187, 2015. [doi]

2008

Mathematical Methods in Philosophy Editors' IntroductionAldo Antonelli, Alasdair Urquhart, Richard Zach. rsl, 1(2):143-145, 2008. [doi]

Effective Finite-Valued Approximations of General Propositional LogicsMatthias Baaz, Richard Zach. birthday 2008: 107-129 [doi]

2007

First-order Gödel logicsMatthias Baaz, Norbert Preining, Richard Zach. APAL, 147(1-2):23-47, 2007. [doi]

2006

Completeness of a Hypersequent Calculus for Some First-order Godel Logics with DeltaMatthias Baaz, Norbert Preining, Richard Zach. ismvl 2006: 9 [doi]

The Epsilon Calculus and Herbrand ComplexityGeorg Moser, Richard Zach. sLogica, 82(1):133-155, 2006. [doi]

Kurt Gödel and Computability TheoryRichard Zach. cie 2006: 575-583 [doi]

2005

Book Review: Michael Potter. ::::Reason s Nearest Kin. Philosophies of Arithmetic from Kant to Carnap::::Richard Zach. ndjfl, 46(4):503-513, 2005. [doi]

2004

Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ωRichard Zach. jphil, 33(2):155-164, 2004. [doi]

2003

Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel LogicsMatthias Baaz, Norbert Preining, Richard Zach. ismvl 2003: 175-180 [doi]

The Epsilon Calculus (Tutorial)Georg Moser, Richard Zach. csl 2003: 455 [doi]

The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's ProgramRichard Zach. synthese, 137(1-2):211-259, 2003. [doi]

2001

Tableaux for Reasoning About Atomic UpdatesChristian G. Fermüller, Georg Moser, Richard Zach. lpar 2001: 639-653 [doi]

2000

Hypersequent and the Proof Theory of Intuitionistic Fuzzy LogicMatthias Baaz, Richard Zach. csl 2000: 187-201 [doi]

Quantified Propositional Gödel LogicsMatthias Baaz, Agata Ciabattoni, Richard Zach. lpar 2000: 240-256 [doi]

1999

Completeness before Post: Bernays, Hilbert, and the development of propositional logicRichard Zach. bsl, 5(3):331-366, 1999. [doi]

1998

Note on generalizing theorems in algebraically closed fieldsMatthias Baaz, Richard Zach. AML, 37(5-6):297-307, 1998. [doi]

Compact Propositional Gödel LogicsMatthias Baaz, Richard Zach. ismvl 1998: 108-113 [doi]

Labeled Calculi and Finite-Valued LogicsMatthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach. sLogica, 61(1):7-33, 1998.

1996

Completeness of a First-Order Temporal Logic with Time-GapsMatthias Baaz, Alexander Leitsch, Richard Zach. TCS, 160(1&2):241-270, 1996. [doi]

MUltlog 1.0: Towards an Expert System for Many-Valued LogicsMatthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach. cade 1996: 226-230

1995

Generalizing Theorems in Real Closed FieldsMatthias Baaz, Richard Zach. APAL, 75(1-2):3-23, 1995.

Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of ProgramsMatthias Baaz, Alexander Leitsch, Richard Zach. csl 1996: 1-15

1994

Approximating Propositional Calculi by Finite-Valued LogicsMatthias Baaz, Richard Zach. ismvl 1994: 257-263

Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical FoundationsPetr Hájek, Richard Zach. jancl, 4(2):215-220, 1994.

1993

1992

Note on calculi for a three-valued logic for logic programming.Matthias Baaz, Richard Zach. eatcs, 48:157-164, 1992.

Algorithmic Structuring of Cut-free ProofsMatthias Baaz, Richard Zach. csl 1993: 29-42

Sign in or sign up to see more results.