| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthias Baaz, Stefan Hetzl, Daniel Weller |
On the complexity of proof deskolemization.  |
J. Symb. Log.  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability |
Logical Methods in Computer Science |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Oliver Fasching |
Gödel logics with monotone operators. |
Fuzzy Sets and Systems |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Norbert Preining |
First-order satisfiability in Gödel logics: An NP-complete fragment. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Norbert Preining |
First-order satisfiability in Gödel logics: An NP-complete fragment. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Stefan Hetzl |
On the non-confluence of cut-elimination. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Rosalie Iemhoff |
Eskolemization in Intuitionistic Logic. |
J. Log. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, George Metcalfe |
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller |
A Resolution Mechanism for Prenex Gödel Logic. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, George Metcalfe |
Fuzzy Logic Corner. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Oliver Fasching |
Note on witnessed Gödel logics with Delta. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz |
Foreword. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Norbert Preining |
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |
CERES: An analysis of Fürstenberg's proof of the infinity of primes. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Rosalie Iemhoff |
On Skolemization in constructive theories. |
J. Symb. Log. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Norbert Preining |
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Piotr Wojtylak |
Generalizing proofs in monadic languages. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 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, George Metcalfe |
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
Herbrand Theorem, Fuzzy Logics, Skolemization |
| 1 | Matthias Baaz, Norbert Preining, Richard Zach |
First-order Gödel logics. |
Ann. Pure Appl. Logic |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, George Metcalfe |
Proof Theory for First Order Lukasiewicz Logic. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch |
Towards a clausal analysis of cut-elimination. |
J. Symb. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Rosalie Iemhoff |
Gentzen Calculi for the Existence Predicate. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
| 1 | Matthias Baaz, Rosalie Iemhoff |
The Skolemization of existential quantifiers in intuitionistic logic. |
Ann. Pure Appl. Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Georg Moser |
Herbrand's theorem and term induction. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
Term induction, Successor Induction, Herbrand's theorem, Generalisation of Proofs |
| 1 | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |
Proof Transformation by CERES. |
MKM |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 | Matthias Baaz |
Note on Conditional Constructivity. |
Algebraic and Proof-theoretic Aspects of Non-classical Logics |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek |
Editorial. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek |
Editorial. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei I. Adian, Matthias Baaz, Lev D. Beklemishev |
Editorial. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz |
Controlling witnesses. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Rosalie Iemhoff |
On Interpolation in Existence Logics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
| 1 | Matthias Baaz, Rosalie Iemhoff |
On the Proof Theory of the Existence Predicate. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz |
Note on Formal Analogical Reasoning in the Juridical Context. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Franco Montagna |
Analytic Calculi for Monoidal T-norm Based Logic. |
Fundam. Inform. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |
Cut-Elimination: Experiments with CERES. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch |
CERES in Many-Valued Logics. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Hypersequent Calculi for Gödel Logics - a Survey. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller |
A Translation Characterizing the Constructive Content of Classical Theories. |
LPAR |
2003 |
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 | Matthias Baaz, Johann A. Makowsky (eds.) |
Computer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings |
CSL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz |
Proof Analysis by Resolution. |
CADE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Andrei Voronkov (eds.) |
Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings |
LPAR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni |
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz |
Proof Analysis by Resolution. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Georg Moser |
On Generalizations of Semi-terms of Particularly Simple Form. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
Structure of Proofs, Complexity of Programs, Proof Theory |
| 1 | Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith |
Complexity of t-tautologies. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Uwe Egly, Alexander Leitsch |
Normal Form Transformations. |
Handbook of Automated Reasoning |
2001 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller, Gernot Salzer |
Automated Deduction for Many-Valued Logics. |
Handbook of Automated Reasoning |
2001 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller |
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch |
Comparing the Complexity of Cut-Elimination Methods. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. |
ISMVL |
2001 |
DBLP BibTeX RDF |
|
| 1 | Matthias Baaz, Georg Moser |
On a Generalisation of Herbrand's Theorem. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch |
Cut-elimination and Redundancy-elimination by Resolution. |
J. Symb. Comput. |
2000 |
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, Christian G. Fermüller, Helmut Veith |
An Analytic Calculus for Quantified Propositional Gödel Logic. |
TABLEAUX |
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 | Matthias Baaz |
Note on the Generalization of Calculations. |
Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch |
Cut Normal Forms and Proof Complexity. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Helmut Veith |
Interpolation in fuzzy logic. |
Arch. Math. Log. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch, Georg Moser |
System Description: CutRes 0.1: Cut Elimination by Resolution. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller |
Analytic Calculi for Projective Logics. |
TABLEAUX |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith |
On the Undecidability of some Sub-Classical First-Order Logics. |
FSTTCS |
1999 |
DBLP DOI 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, Petr Hájek, David Svejda, Jan Krajícek |
Embedding Logics into Product Logic. |
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, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith |
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Richard Zach |
Compact Propositional Gödel Logics. (PDF / PS) |
ISMVL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Helmut Veith |
Quantifier Elimination in Fuzzy Logic. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Uwe Egly, Christian G. Fermüller |
Lean Induction Principles for Tableaux. |
TABLEAUX |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Norbert Brunner, Karl Svozil |
The Axiom of Choice in Quantum Theory. |
Math. Log. Q. |
1996 |
DBLP 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, Christian G. Fermüller |
Intuitionistic Counterparts of Finitely-Valued Logics. (PDF / PS) |
ISMVL |
1996 |
DBLP DOI BibTeX RDF |
Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures |
| 1 | Matthias Baaz, Christian G. Fermüller |
Combining Many-valued and Intuitionistic Tableaux. |
TABLEAUX |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch |
Fast Cut-Elimination by Projection. |
CSL |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller |
Resolution-Based Theorem Proving for Manyvalued Logics. |
J. Symb. Comput. |
1995 |
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, Christian G. Fermüller |
Non-elementary Speedups between Different Versions of Tableaux. |
TABLEAUX |
1995 |
DBLP 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 | Matthias Baaz, Alexander Leitsch |
On Skolemization and Proof Complexity. |
Fundam. Inform. |
1994 |
DBLP DOI 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, Alexander Leitsch |
A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Gernot Salzer |
Semi-Unification and Generalizations of a Particularly Simple Form. |
CSL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Karin Hörwein |
A New Frame For Common-Sense Reasoning - Towards Local Inconsistencies. |
KI |
1994 |
DBLP DOI 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, Fernando Galindo, Gerald Quirchmayr, Manuel Vázqez |
The Application of Kripke-Type Structures to Regional Development Programs. |
DEXA |
1993 |
DBLP DOI BibTeX RDF |
Kripke-type frames, legal expert systems, Modal logic |
| 1 | Matthias Baaz, Richard Zach |
Short Proofs of Tautologies Using the Schema of Equivalence. |
CSL |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch |
Complexity of Resolution Proofs and Function Introduction. |
Ann. Pure Appl. Logic |
1992 |
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, Christian G. Fermüller |
Resolution for Many-Valued Logics. |
LPAR |
1992 |
DBLP DOI 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")