The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matthias Baaz" ( http://dblp.L3S.de/Authors/Matthias_Baaz )

  Author page on DBLP  Author page in RDF  Community of Matthias Baaz in ASPL-2

Publication years (Num. hits)
1985-1993 (18) 1994-1996 (15) 1997-2000 (17) 2001-2003 (18) 2004-2006 (17) 2007-2010 (17) 2011-2016 (18) 2017-2019 (11)
Publication types (Num. hits)
article(57) incollection(2) inproceedings(69) proceedings(3)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 14 keywords

Results
Found 132 publication records. Showing 131 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Juan P. Aguilera, Matthias Baaz Unsound Inferences Make Proofs Shorter. Search on Bibsonomy J. Symb. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Norbert Preining On the classification of first order Gödel logics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Anela Lolic Note on Globally Sound Analytic Calculi for Quantifier Macros. Search on Bibsonomy WoLLIC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Anela Lolic Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch, Anela Lolic A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch On the Complexity of Translations from Classical to Intuitionistic Proofs. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthias Baaz Preface. Search on Bibsonomy FLAP The full citation details ... 2017 DBLP  BibTeX  RDF
1Juan P. Aguilera, Matthias Baaz Ten problems in Gödel logic. Search on Bibsonomy Soft Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller Preface. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Norbert Preining Gödel logics and the fully boxed fragment of LTL. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Matthias Baaz, Anela Lolic First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juan P. Aguilera, Matthias Baaz Unsound Inferences Make Proofs Shorter. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni Proof theory of witnessed Gödel logic: A negative result. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Rosalie Iemhoff Skolemization in intermediate logics with the finite model property. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Juan P. Aguilera, Matthias Baaz Cut Elimination for Gödel Logic with an Operator Adding a Constant. Search on Bibsonomy WoLLIC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch, Giselle Reis A Note on the Complexity of Classical and Intuitionistic Proofs. Search on Bibsonomy LICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. Search on Bibsonomy CSL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Cut-Elimination: Syntax and Semantics. Search on Bibsonomy Studia Logica The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Oliver Fasching, Matthias Baaz Monotone operators on Gödel logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Thomas Eiter, Helmut Veith Vienna Summer of Logic. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Matthias Baaz, Ori Lahav, Anna Zamansky Finite-valued Semantics for Canonical Labelled Calculi. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz, Christian G. Fermüller (eds.) Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010 Search on Bibsonomy LPAR short papers(Yogyakarta) The full citation details ... 2013 DBLP  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl, Daniel Weller On the complexity of proof deskolemization. Search on Bibsonomy J. Symb. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Oliver Fasching Gödel logics with monotone operators. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Ori Lahav, Anna Zamansky Effective Finite-Valued Semantics for Labelled Calculi. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl On the non-confluence of cut-elimination. Search on Bibsonomy J. Symb. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Norbert Preining First-order satisfiability in Gödel logics: An NP-complete fragment. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Rosalie Iemhoff Eskolemization in Intuitionistic Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, George Metcalfe Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Oliver Fasching Gödel logics with an operator shifting truth values. Search on Bibsonomy LPAR short papers(Yogyakarta) The full citation details ... 2010 DBLP  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller A Resolution Mechanism for Prenex Gödel Logic. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Oliver Fasching Note on witnessed Gödel logics with Delta. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Baaz Foreword. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, George Metcalfe Fuzzy Logic Corner. Search on Bibsonomy J. Log. Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Norbert Preining SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Rosalie Iemhoff On Skolemization in constructive theories. Search on Bibsonomy J. Symb. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr CERES: An analysis of Fürstenberg's proof of the infinity of primes. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Piotr Wojtylak Generalizing proofs in monadic languages. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Norbert Preining Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega. Search on Bibsonomy J. Log. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Richard Zach Effective Finite-Valued Approximations of General Propositional Logics. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, George Metcalfe Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. Search on Bibsonomy CiE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Herbrand Theorem, Fuzzy Logics, Skolemization
1Matthias Baaz, Norbert Preining, Richard Zach First-order Gödel logics. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, George Metcalfe Proof Theory for First Order Lukasiewicz Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Rosalie Iemhoff Gentzen Calculi for the Existence Predicate. Search on Bibsonomy Studia Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF existence predicate, Gentzen calculus, truth-value logics, Gödel logics, Scott logics, cut-elimination, Intuitionistic logic, Kripke models, Skolemization
1Matthias Baaz, Rosalie Iemhoff The Skolemization of existential quantifiers in intuitionistic logic. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Towards a clausal analysis of cut-elimination. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Georg Moser Herbrand's theorem and term induction. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Term induction, Successor Induction, Herbrand's theorem, Generalisation of Proofs
1Matthias Baaz Note on Conditional Constructivity. Search on Bibsonomy Algebraic and Proof-theoretic Aspects of Non-classical Logics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Norbert Preining, Richard Zach Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. Search on Bibsonomy ISMVL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr Proof Transformation by CERES. Search on Bibsonomy MKM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matthias Baaz Controlling witnesses. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sergei I. Adian, Matthias Baaz, Lev D. Beklemishev Editorial. Search on Bibsonomy J. Log. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek 0001 Editorial. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek 0001 Editorial. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Rosalie Iemhoff On Interpolation in Existence Logics. Search on Bibsonomy LPAR The full citation details ... 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
1Matthias Baaz, Rosalie Iemhoff On the Proof Theory of the Existence Predicate. Search on Bibsonomy We Will Show Them! (1) The full citation details ... 2005 DBLP  BibTeX  RDF
1Matthias Baaz Note on Formal Analogical Reasoning in the Juridical Context. Search on Bibsonomy CSL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Franco Montagna Analytic Calculi for Monoidal T-norm Based Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr Cut-Elimination: Experiments with CERES. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch CERES in Many-Valued Logics. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Hypersequent Calculi for Gödel Logics - a Survey. Search on Bibsonomy J. Log. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller A Translation Characterizing the Constructive Content of Classical Theories. Search on Bibsonomy LPAR The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Norbert Preining, Richard Zach Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Matthias 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 Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Georg Gottlob, Georg Moser Foreword. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Andrei Voronkov (eds.) Logic for Programming, Artificial Intelligence, and Reasoning, 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002, Proceedings Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Matthias Baaz Proof Analysis by Resolution. Search on Bibsonomy CADE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Matthias Baaz Proof Analysis by Resolution. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Georg Moser On Generalizations of Semi-terms of Particularly Simple Form. Search on Bibsonomy CSL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Structure of Proofs, Complexity of Programs, Proof Theory
1Matthias Baaz, Petr Hájek 0001, Franco Montagna, Helmut Veith Complexity of t-tautologies. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Gernot Salzer Automated Deduction for Many-Valued Logics. Search on Bibsonomy Handbook of Automated Reasoning The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Uwe Egly, Alexander Leitsch, Jean Goubault-Larrecq, David A. Plaisted Normal Form Transformations. Search on Bibsonomy Handbook of Automated Reasoning The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Comparing the Complexity of Cut-Elimination Methods. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. Search on Bibsonomy ISMVL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Georg Moser On a Generalisation of Herbrand's Theorem. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Cut-elimination and Redundancy-elimination by Resolution. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Richard Zach Quantified Propositional Gödel Logics. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Helmut Veith An Analytic Calculus for Quantified Propositional Gödel Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Richard Zach Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. Search on Bibsonomy CSL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Matthias Baaz Note on the Generalization of Calculations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch Cut Normal Forms and Proof Complexity. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Helmut Veith Interpolation in fuzzy logic. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch, Georg Moser System Description: CutRes 0.1: Cut Elimination by Resolution. Search on Bibsonomy CADE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller Analytic Calculi for Projective Logics. Search on Bibsonomy TABLEAUX The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith On the Undecidability of some Sub-Classical First-Order Logics. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Petr Hájek 0001, David Svejda, Jan Krajícek Embedding Logics into Product Logic. Search on Bibsonomy Studia Logica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach Labeled Calculi and Finite-Valued Logics. Search on Bibsonomy Studia Logica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Richard Zach Note on generalizing theorems in algebraically closed fields. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification:03F07, 03F20, 12L99
1Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Richard Zach Compact Propositional Gödel Logics. Search on Bibsonomy ISMVL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Helmut Veith Quantifier Elimination in Fuzzy Logic. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Uwe Egly, Christian G. Fermüller Lean Induction Principles for Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Norbert Brunner, Karl Svozil The Axiom of Choice in Quantum Theory. Search on Bibsonomy Math. Log. Q. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Alexander Leitsch, Richard Zach Completeness of a First-Order Temporal Logic with Time-Gaps. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 131 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license