2008 |
28 | EE | Matthias Baaz,
Richard Zach:
Effective Finite-Valued Approximations of General Propositional Logics.
Pillars of Computer Science 2008: 107-129 |
2007 |
27 | EE | Matthias Baaz,
Norbert Preining,
Richard Zach:
First-order Gödel logics.
Ann. Pure Appl. Logic 147(1-2): 23-47 (2007) |
2006 |
26 | EE | Richard Zach:
Kurt Gödel and Computability Theory.
CiE 2006: 575-583 |
25 | EE | Matthias Baaz,
Norbert Preining,
Richard Zach:
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta.
ISMVL 2006: 9 |
24 | EE | Georg Moser,
Richard Zach:
The Epsilon Calculus and Herbrand Complexity.
Studia Logica 82(1): 133-155 (2006) |
2003 |
23 | EE | Georg Moser,
Richard Zach:
The Epsilon Calculus (Tutorial).
CSL 2003: 455 |
22 | EE | Matthias Baaz,
Norbert Preining,
Richard Zach:
Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics.
ISMVL 2003: 175-180 |
2001 |
21 | EE | Christian G. Fermüller,
Georg Moser,
Richard Zach:
Tableaux for Reasoning About Atomic Updates.
LPAR 2001: 639-653 |
2000 |
20 | EE | Matthias Baaz,
Richard Zach:
Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic.
CSL 2000: 187-201 |
19 | EE | Matthias Baaz,
Agata Ciabattoni,
Richard Zach:
Quantified Propositional Gödel Logics.
LPAR 2000: 240-256 |
1999 |
18 | EE | Richard Zach:
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.
Bulletin of Symbolic Logic 5(3): 331-366 (1999) |
1998 |
17 | EE | Matthias Baaz,
Richard Zach:
Compact Propositional Gödel Logics.
ISMVL 1998: 108-113 |
16 | EE | Matthias 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 |
13 | EE | 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) |
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) |