- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| c16 |      | Matthias Baaz, Richard Zach: Effective Finite-Valued Approximations of General Propositional Logics. Pillars of Computer Science 2008: 107-129 |
| 2007 | ||
| j14 | | Matthias Baaz, Norbert Preining, Richard Zach: First-order Gödel logics. Ann. Pure Appl. Logic 147(1-2): 23-47 (2007) |
| 2006 | ||
| j13 | | Georg Moser, Richard Zach: The Epsilon Calculus and Herbrand Complexity. Studia Logica 82(1): 133-155 (2006) |
| c15 | | |
| c14 | | Matthias Baaz, Norbert Preining, Richard Zach: Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. ISMVL 2006: 9 |
| 2005 | ||
| j12 | | Richard Zach: Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap. Notre Dame Journal of Formal Logic 46(4): 503-513 (2005) |
| 2004 | ||
| j11 | | Richard Zach: Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω. J. Philosophical Logic 33(2): 155-164 (2004) |
| 2003 | ||
| c13 | | |
| c12 | | Matthias Baaz, Norbert Preining, Richard Zach: Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. ISMVL 2003: 175-180 |
| 2001 | ||
| c11 | | Christian G. Fermüller, Georg Moser, Richard Zach: Tableaux for Reasoning About Atomic Updates. LPAR 2001: 639-653 |
| 2000 | ||
| c10 | | Matthias Baaz, Richard Zach: Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. CSL 2000: 187-201 |
| c9 | | Matthias Baaz, Agata Ciabattoni, Richard Zach: Quantified Propositional Gödel Logics. LPAR 2000: 240-256 |
| 1999 | ||
| j10 | | Richard Zach: Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Bulletin of Symbolic Logic 5(3): 331-366 (1999) |
| 1998 | ||
| j9 | | Matthias Baaz, Richard Zach: Note on generalizing theorems in algebraically closed fields. Arch. Math. Log. 37(5-6): 297-307 (1998) |
| j8 | | Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach: Labeled Calculi and Finite-Valued Logics. Studia Logica 61(1): 7-33 (1998) |
| c8 | | |
| 1996 | ||
| j7 | | Matthias Baaz, Alexander Leitsch, Richard Zach: Completeness of a First-Order Temporal Logic with Time-Gaps. Theor. Comput. Sci. 160(1&2): 241-270 (1996) |
| c7 | | Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach: MUltlog 1.0: Towards an Expert System for Many-Valued Logics. CADE 1996: 226-230 |
| 1995 | ||
| j6 | | Matthias Baaz, Richard Zach: Generalizing Theorems in Real Closed Fields. Ann. Pure Appl. Logic 75(1-2): 3-23 (1995) |
| c6 | | Matthias Baaz, Alexander Leitsch, Richard Zach: Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. CSL 1995: 1-15 |
| 1994 | ||
| j5 | | Petr Hájek, Richard Zach: Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. Journal of Applied Non-Classical Logics 4(2): 215-220 (1994) |
| c5 |  | Matthias Baaz, Richard Zach: Approximating Propositional Calculi by Finite-Valued Logics. ISMVL 1994: 257-263 |
| 1993 | ||
| j4 | | Matthias Baaz, Christian G. Fermüller, Richard Zach: Dual systems of sequents and tableaux for many-valued logics. Bulletin of the EATCS 49: 192-197 (1993) |
| j3 | | Matthias Baaz, Christian G. Fermüller, Richard Zach: Dual systems of sequents and tableaux for many-valued logics. Bulletin of the EATCS 51: 192-197 (1993) |
| j2 | | Matthias Baaz, Christian G. Fermüller, Richard Zach: Elimination of Cuts in First-order Finite-valued Logics. Elektronische Informationsverarbeitung und Kybernetik 29(6): 333-355 (1993) |
| c4 | | Matthias Baaz, Richard Zach: Short Proofs of Tautologies Using the Schema of Equivalence. CSL 1993: 33-35 |
| c3 | | Matthias Baaz, Christian G. Fermüller, Richard Zach: Systematic Construction of Natural Deduction Systems for Many-Valued Logics. ISMVL 1993: 208-213 |
| c2 | | Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach: MULTILOG: A System for Axiomatizing Many-valued Logics. LPAR 1993: 345-347 |
| 1992 | ||
| j1 | | Matthias Baaz, Richard Zach: Note on calculi for a three-valued logic for logic programming.. Bulletin of the EATCS 48: 157-164 (1992) |
| c1 | | |
| 1 | Matthias Baaz | |
| 2 | Agata Ciabattoni | |
| 3 | Christian G. Fermüller | |
| 4 | Petr Hájek | |
| 5 | Alexander Leitsch | |
| 6 | Georg Moser | |
| 7 | Arie Ovrutcki | |
| 8 | Norbert Preining | |
| 9 | Gernot Salzer |
Data released under the ODC-BY 1.0 license — See also our legal information page