dblp.uni-trier.dewww.uni-trier.de

Richard Zach

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
28EEMatthias Baaz, Richard Zach: Effective Finite-Valued Approximations of General Propositional Logics. Pillars of Computer Science 2008: 107-129
2007
27EEMatthias Baaz, Norbert Preining, Richard Zach: First-order Gödel logics. Ann. Pure Appl. Logic 147(1-2): 23-47 (2007)
2006
26EERichard Zach: Kurt Gödel and Computability Theory. CiE 2006: 575-583
25EEMatthias Baaz, Norbert Preining, Richard Zach: Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. ISMVL 2006: 9
24EEGeorg Moser, Richard Zach: The Epsilon Calculus and Herbrand Complexity. Studia Logica 82(1): 133-155 (2006)
2003
23EEGeorg Moser, Richard Zach: The Epsilon Calculus (Tutorial). CSL 2003: 455
22EEMatthias Baaz, Norbert Preining, Richard Zach: Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. ISMVL 2003: 175-180
2001
21EEChristian G. Fermüller, Georg Moser, Richard Zach: Tableaux for Reasoning About Atomic Updates. LPAR 2001: 639-653
2000
20EEMatthias Baaz, Richard Zach: Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. CSL 2000: 187-201
19EEMatthias Baaz, Agata Ciabattoni, Richard Zach: Quantified Propositional Gödel Logics. LPAR 2000: 240-256
1999
18EERichard Zach: Completeness before Post: Bernays, Hilbert, and the development of propositional logic. Bulletin of Symbolic Logic 5(3): 331-366 (1999)
1998
17EEMatthias Baaz, Richard Zach: Compact Propositional Gödel Logics. ISMVL 1998: 108-113
16EEMatthias Baaz, Richard Zach: Note on generalizing theorems in algebraically closed fields. Arch. Math. Log. 37(5-6): 297-307 (1998)
15 Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach: Labeled Calculi and Finite-Valued Logics. Studia Logica 61(1): 7-33 (1998)
1996
14 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
13EEMatthias Baaz, Alexander Leitsch, Richard Zach: Completeness of a First-Order Temporal Logic with Time-Gaps. Theor. Comput. Sci. 160(1&2): 241-270 (1996)
1995
12 Matthias Baaz, Alexander Leitsch, Richard Zach: Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. CSL 1995: 1-15
11 Matthias Baaz, Richard Zach: Generalizing Theorems in Real Closed Fields. Ann. Pure Appl. Logic 75(1-2): 3-23 (1995)
1994
10 Matthias Baaz, Richard Zach: Approximating Propositional Calculi by Finite-Valued Logics. ISMVL 1994: 257-263
9 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): (1994)
1993
8 Matthias Baaz, Richard Zach: Short Proofs of Tautologies Using the Schema of Equivalence. CSL 1993: 33-35
7 Matthias Baaz, Christian G. Fermüller, Richard Zach: Systematic Construction of Natural Deduction Systems for Many-Valued Logics. ISMVL 1993: 208-213
6 Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach: MULTILOG: A System for Axiomatizing Many-valued Logics. LPAR 1993: 345-347
5 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)
4 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)
3 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)
1992
2 Matthias Baaz, Richard Zach: Algorithmic Structuring of Cut-free Proofs. CSL 1992: 29-42
1 Matthias Baaz, Richard Zach: Note on calculi for a three-valued logic for logic programming.. Bulletin of the EATCS 48: 157-164 (1992)

Coauthor Index

1Matthias Baaz [1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [13] [14] [15] [16] [17] [19] [20] [22] [25] [27] [28]
2Agata Ciabattoni [19]
3Christian G. Fermüller [3] [4] [5] [6] [7] [14] [15] [21]
4Petr Hájek [9]
5Alexander Leitsch [12] [13]
6Georg Moser [21] [23] [24]
7Arie Ovrutcki [6]
8Norbert Preining [22] [25] [27]
9Gernot Salzer [14] [15]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)