Matthias Baaz

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 28

Top Venues

Publications

Matthias Baaz, Anela Lolic
On Translations of Epsilon Proofs to LK. LPAR (2024)
Matthias Baaz, Mariami Gamsakhurdia
Goedel logics: Prenex fragments. CoRR (2024)
Matthias Baaz, Anela Lolic
Effective Skolemization. WoLLIC (2023)
Matthias Baaz, Anela Lolic
Towards a proof theory for quantifier macros. Inf. Comput. 287 (2022)
Matthias Baaz, Richard Zach
Epsilon theorems in Intermediate Logics. J. Symb. Log. 87 (2) (2022)
Juan P. Aguilera, Matthias Baaz, Jan Bydzovsky
The number of axioms. Ann. Pure Appl. Log. 173 (5) (2022)
Matthias Baaz, Anela Lolic
Andrews Skolemization May Shorten Resolution Proofs Non-elementarily. LFCS (2022)
Matthias Baaz, Anela Lolic
Towards a proof theory for Henkin quantifiers. J. Log. Comput. 31 (1) (2021)
Matthias Baaz, Anela Lolic
A Globally Sound Analytic Calculus for Henkin Quantifiers. LFCS (2020)
Matthias Baaz, Anela Lolic
First-order interpolation derived from propositional interpolation. Theor. Comput. Sci. 837 (2020)
Matthias Baaz, Alexander Leitsch, Anela Lolic
An abstract form of the first epsilon theorem. J. Log. Comput. 30 (8) (2020)
Matthias Baaz, Norbert Preining
On the classification of first order Gödel logics. Ann. Pure Appl. Log. 170 (1) (2019)
Juan P. Aguilera, Matthias Baaz
Unsound Inferences Make Proofs Shorter. J. Symb. Log. 84 (1) (2019)
Matthias Baaz, Anela Lolic
Note on Globally Sound Analytic Calculi for Quantifier Macros. WoLLIC (2019)
Matthias Baaz, Anela Lolic
Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic. LPAR (2018)
Matthias Baaz, Alexander Leitsch, Anela Lolic
A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. LFCS (2018)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller
Preface. J. Log. Comput. 27 (2) (2017)
Matthias Baaz
Preface. FLAP 4 (10) (2017)
Juan P. Aguilera, Matthias Baaz
Ten problems in Gödel logic. Soft Comput. 21 (1) (2017)
Matthias Baaz, Norbert Preining
Gödel logics and the fully boxed fragment of LTL. LPAR (2017)
Matthias Baaz, Anela Lolic
First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation. FroCoS (2017)
Matthias Baaz, Alexander Leitsch
On the Complexity of Translations from Classical to Intuitionistic Proofs. FLAP 4 (4) (2017)
Juan P. Aguilera, Matthias Baaz
Cut Elimination for Gödel Logic with an Operator Adding a Constant. WoLLIC (2016)
Matthias Baaz, Agata Ciabattoni
Proof theory of witnessed Gödel logic: A negative result. J. Log. Comput. 26 (1) (2016)
Matthias Baaz, Rosalie Iemhoff
Skolemization in intermediate logics with the finite model property. Log. J. IGPL 24 (3) (2016)
Juan P. Aguilera, Matthias Baaz
Unsound Inferences Make Proofs Shorter. CoRR (2016)
Matthias Baaz, Christian G. Fermüller
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. CSL (2015)
Matthias Baaz, Alexander Leitsch, Giselle Reis
A Note on the Complexity of Classical and Intuitionistic Proofs. LICS (2015)
Matthias Baaz, Thomas Eiter, Helmut Veith
Vienna Summer of Logic. KR (2014)
Oliver Fasching, Matthias Baaz
Monotone operators on Gödel logic. Arch. Math. Log. 53 (3-4) (2014)
Matthias Baaz, Alexander Leitsch
Cut-Elimination: Syntax and Semantics. Stud Logica 102 (6) (2014)
Matthias Baaz, Ori Lahav, Anna Zamansky
Finite-valued Semantics for Canonical Labelled Calculi. J. Autom. Reason. 51 (4) (2013)
Matthias Baaz, Stefan Hetzl, Daniel Weller
On the complexity of proof deskolemization. J. Symb. Log. 77 (2) (2012)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability Log. Methods Comput. Sci. 8 (1) (2012)
Matthias Baaz, Ori Lahav, Anna Zamansky
Effective Finite-Valued Semantics for Labelled Calculi. IJCAR (2012)
Matthias Baaz, Oliver Fasching
Gödel logics with monotone operators. Fuzzy Sets Syst. 197 (2012)
Matthias Baaz, Agata Ciabattoni, Norbert Preining
First-order satisfiability in Gödel logics: An NP-complete fragment. Theor. Comput. Sci. 412 (47) (2011)
Matthias Baaz, Rosalie Iemhoff
Eskolemization in Intuitionistic Logic. J. Log. Comput. 21 (4) (2011)
Matthias Baaz, Stefan Hetzl
On the non-confluence of cut-elimination. J. Symb. Log. 76 (1) (2011)
Matthias Baaz, Oliver Fasching
Gödel logics with an operator shifting truth values. LPAR short papers(Yogyakarta) (2010)
Matthias Baaz, George Metcalfe
Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic. J. Log. Comput. 20 (1) (2010)
Matthias Baaz, Christian G. Fermüller
A Resolution Mechanism for Prenex Gödel Logic. CSL (2010)
Matthias Baaz, George Metcalfe
Fuzzy Logic Corner. J. Log. Comput. 19 (2) (2009)
Matthias Baaz
Foreword. Ann. Pure Appl. Log. 157 (2-3) (2009)
Matthias Baaz, Agata Ciabattoni, Norbert Preining
SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability. WoLLIC (2009)
Matthias Baaz, Oliver Fasching
Note on witnessed Gödel logics with Delta. Ann. Pure Appl. Log. 161 (2) (2009)
Matthias Baaz, Rosalie Iemhoff
On Skolemization in constructive theories. J. Symb. Log. 73 (3) (2008)
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. 403 (2-3) (2008)
Matthias Baaz, Richard Zach
Effective Finite-Valued Approximations of General Propositional Logics. Pillars of Computer Science (2008)
Matthias Baaz, Norbert Preining
Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type omega. J. Log. Comput. 18 (4) (2008)
Matthias Baaz, Piotr Wojtylak
Generalizing proofs in monadic languages. Ann. Pure Appl. Log. 154 (2) (2008)
Matthias Baaz, George Metcalfe
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. CiE (2008)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Cut Elimination for First Order Gödel Logic by Hyperclause Resolution. LPAR (2008)
Matthias Baaz, George Metcalfe
Proof Theory for First Order Lukasiewicz Logic. TABLEAUX (2007)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. LPAR (2007)
Matthias Baaz, Norbert Preining, Richard Zach
First-order Gödel logics. Ann. Pure Appl. Log. 147 (1-2) (2007)
Matthias Baaz
Note on Conditional Constructivity. Algebraic and Proof-theoretic Aspects of Non-classical Logics (2006)
Matthias Baaz, Rosalie Iemhoff
Gentzen Calculi for the Existence Predicate. Stud Logica 82 (1) (2006)
Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr
Proof Transformation by CERES. MKM (2006)
Matthias Baaz, Rosalie Iemhoff
The Skolemization of existential quantifiers in intuitionistic logic. Ann. Pure Appl. Log. 142 (1-3) (2006)
Matthias Baaz, Norbert Preining, Richard Zach
Completeness of a Hypersequent Calculus for Some First-order Godel Logics with Delta. ISMVL (2006)
Matthias Baaz, Georg Moser
Herbrand's theorem and term induction. Arch. Math. Log. 45 (4) (2006)
Matthias Baaz, Alexander Leitsch
Towards a clausal analysis of cut-elimination. J. Symb. Comput. 41 (3-4) (2006)
Sergei I. Adian, Matthias Baaz, Lev D. Beklemishev
Editorial. J. Log. Comput. 15 (4) (2005)
Matthias Baaz
Controlling witnesses. Ann. Pure Appl. Log. 136 (1-2) (2005)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
Editorial. Log. J. IGPL 13 (4) (2005)
Matthias Baaz
Note on Formal Analogical Reasoning in the Juridical Context. CSL (2005)
Matthias Baaz, Rosalie Iemhoff
On the Proof Theory of the Existence Predicate. We Will Show Them! (1) (2005)
Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
Editorial. Log. J. IGPL 13 (5) (2005)
Matthias Baaz, Rosalie Iemhoff
On Interpolation in Existence Logics. LPAR (2005)
Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr
Cut-Elimination: Experiments with CERES. LPAR (2004)
Matthias Baaz, Alexander Leitsch
CERES in Many-Valued Logics. LPAR (2004)
Matthias Baaz, Agata Ciabattoni, Franco Montagna
Analytic Calculi for Monoidal T-norm Based Logic. Fundam. Informaticae 59 (4) (2004)
Matthias Baaz, Norbert Preining, Richard Zach
Characterization of the Axiomatizable Prenex Fragments of First-Order Gödel Logics. ISMVL (2003)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Hypersequent Calculi for Gödel Logics - a Survey. J. Log. Comput. 13 (6) (2003)
Matthias Baaz, Christian G. Fermüller
A Translation Characterizing the Constructive Content of Classical Theories. LPAR (2003)
Matthias Baaz, Georg Gottlob, Georg Moser
Foreword. Theor. Comput. Sci. 288 (1) (2002)
Matthias Baaz, Georg Moser
On Generalizations of Semi-terms of Particularly Simple Form. CSL (2002)
Matthias Baaz, Agata Ciabattoni
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic. TABLEAUX (2002)
Matthias Baaz
Proof Analysis by Resolution. CADE (2002)
Matthias Baaz
Proof Analysis by Resolution. TABLEAUX (2002)
Matthias Baaz, Alexander Leitsch
Comparing the Complexity of Cut-Elimination Methods. Proof Theory in Computer Science (2001)
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)
Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith
Complexity of t-tautologies. Ann. Pure Appl. Log. 113 (1-3) (2001)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Cut-Elimination in a Sequents-of-Relations Calculus for Gödel Logic. ISMVL (2001)
Matthias Baaz, Georg Moser
On a Generalisation of Herbrand's Theorem. CSL (2001)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller
Herbrand's Theorem for Prenex Gödel Logic and its Consequences for Theorem Proving. LPAR (2001)
Matthias Baaz, Christian G. Fermüller, Helmut Veith
An Analytic Calculus for Quantified Propositional Gödel Logic. TABLEAUX (2000)
Matthias Baaz, Richard Zach
Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic. CSL (2000)
Matthias Baaz, Agata Ciabattoni, Richard Zach
Quantified Propositional Gödel Logics. LPAR (2000)
Matthias Baaz, Alexander Leitsch
Cut-elimination and Redundancy-elimination by Resolution. J. Symb. Comput. 29 (2) (2000)
Matthias Baaz, Alexander Leitsch
Cut Normal Forms and Proof Complexity. Ann. Pure Appl. Log. 97 (1-3) (1999)
Matthias Baaz, Christian G. Fermüller
Analytic Calculi for Projective Logics. TABLEAUX (1999)
Matthias Baaz, Helmut Veith
Interpolation in fuzzy logic. Arch. Math. Log. 38 (7) (1999)
Matthias Baaz
Note on the Generalization of Calculations. Theor. Comput. Sci. 224 (1-2) (1999)
Matthias Baaz, Alexander Leitsch, Georg Moser
System Description: CutRes 0.1: Cut Elimination by Resolution. CADE (1999)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
On the Undecidability of some Sub-Classical First-Order Logics. FSTTCS (1999)
Matthias Baaz, Christian G. Fermüller, Gernot Salzer, Richard Zach
Labeled Calculi and Finite-Valued Logics. Stud Logica 61 (1) (1998)
Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. MFCS (1998)
Matthias Baaz, Richard Zach
Note on generalizing theorems in algebraically closed fields. Arch. Math. Log. 37 (5-6) (1998)

Matthias Baaz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Baaz