| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthias Baaz, Richard Zach |
Effective Finite-Valued Approximations of General Propositional Logics.  |
Pillars of Computer Science  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Norbert Preining, Richard Zach |
First-order Gödel logics. |
Ann. Pure Appl. Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Moser, Richard Zach |
The Epsilon Calculus and Herbrand Complexity. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity |
| 1 | Matthias Baaz, Norbert Preining, Richard Zach |
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. |
ISMVL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zach |
Kurt Gödel and Computability Theory. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zach |
Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap. |
Notre Dame Journal of Formal Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Richard Zach |
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω. |
J. Philosophical Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Norbert Preining, Richard Zach |
Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. (PDF / PS) |
ISMVL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Moser, Richard Zach |
The Epsilon Calculus (Tutorial). |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian G. Fermüller, Georg Moser, Richard Zach |
Tableaux for Reasoning About Atomic Updates. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Richard Zach |
Quantified Propositional Gödel Logics. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. |
CSL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zach |
Completeness before Post: Bernays, Hilbert, and the development of propositional logic. |
Bulletin of Symbolic Logic |
1999 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach |
Labeled Calculi and Finite-Valued Logics. |
Studia Logica |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Note on generalizing theorems in algebraically closed fields. |
Arch. Math. Log. |
1998 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification:03F07, 03F20, 12L99 |
| 1 | Matthias Baaz, Richard Zach |
Compact Propositional Gödel Logics. (PDF / PS) |
ISMVL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch, Richard Zach |
Completeness of a First-Order Temporal Logic with Time-Gaps. |
Theor. Comput. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach |
MUltlog 1.0: Towards an Expert System for Many-Valued Logics. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Generalizing Theorems in Real Closed Fields. |
Ann. Pure Appl. Logic |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch, Richard Zach |
Incompleteness of a First-Order Gödel Logic and Some Temporal Logics of Programs. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
temporal logic, many-valued logic, intermediate logic |
| 1 | Petr Hájek, Richard Zach |
Review of Leonard Bolc and Piotr Borowik: Many-valued Logics: 1. Theoretical Foundations. |
Journal of Applied Non-Classical Logics |
1994 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Approximating Propositional Calculi by Finite-Valued Logics. |
ISMVL |
1994 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller, Richard Zach |
Elimination of Cuts in First-order Finite-valued Logics. |
Elektronische Informationsverarbeitung und Kybernetik |
1993 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller, Richard Zach |
Dual systems of sequents and tableaux for many-valued logics. |
Bulletin of the EATCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller, Richard Zach |
Dual systems of sequents and tableaux for many-valued logics. |
Bulletin of the EATCS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller, Arie Ovrutcki, Richard Zach |
MULTILOG: A System for Axiomatizing Many-valued Logics. |
LPAR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller, Richard Zach |
Systematic Construction of Natural Deduction Systems for Many-Valued Logics. |
ISMVL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Short Proofs of Tautologies Using the Schema of Equivalence. |
CSL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Note on calculi for a three-valued logic for logic programming.. |
Bulletin of the EATCS |
1992 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Algorithmic Structuring of Cut-free Proofs. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")