| Publication | Date of Publication | Type |
|---|
| Incompleteness of a first-order Gödel logic and some temporal logics of programs | 2024-06-21 | Paper |
| Effective Skolemization | 2024-02-28 | Paper |
| Andrews Skolemization may shorten resolution proofs non-elementarily | 2022-07-01 | Paper |
| EPSILON THEOREMS IN INTERMEDIATE LOGICS | 2022-06-15 | Paper |
| Towards a proof theory for quantifier macros | 2022-06-13 | Paper |
| The number of axioms | 2022-04-01 | Paper |
| Towards a proof theory for Henkin quantifiers | 2022-02-08 | Paper |
| An abstract form of the first epsilon theorem | 2020-12-15 | Paper |
| First-order interpolation derived from propositional interpolation | 2020-08-25 | Paper |
| Note on the Benefit of Proof Representations by Name | 2020-08-10 | Paper |
| A globally sound analytic calculus for Henkin quantifiers | 2020-05-06 | Paper |
| Note on globally sound analytic calculi for quantifier macros | 2020-03-04 | Paper |
| Epsilon Theorems in Intermediate Logics | 2019-07-09 | Paper |
| Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic | 2019-07-04 | Paper |
| UNSOUND INFERENCES MAKE PROOFS SHORTER | 2019-03-15 | Paper |
| Lean induction principles for tableaux | 2019-01-15 | Paper |
| MUltlog 1.0: Towards an expert system for many-valued logics | 2019-01-15 | Paper |
| Combining many-valued and intuitionistic tableaux | 2019-01-10 | Paper |
| Gödel logics and the fully boxed fragment of LTL | 2019-01-10 | Paper |
| Skolemization in intermediate logics with the finite model property | 2019-01-08 | Paper |
| On the classification of first order Gödel logics | 2018-11-07 | Paper |
| A Note on the Complexity of Classical and Intuitionistic Proofs | 2018-04-23 | Paper |
| A sequent-calculus based formulation of the extended first epsilon theorem | 2018-04-06 | Paper |
| An interpolant in predicate G\"odel logic | 2018-03-08 | Paper |
| Ten problems in Gödel logic | 2018-02-23 | Paper |
| First-order interpolation of non-classical logics derived from propositional interpolation | 2018-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5351952 | 2017-08-31 | Paper |
| Cut Elimination for Gödel Logic with an Operator Adding a Constant | 2016-09-09 | Paper |
| Proof theory of witnessed Gödel logic: a negative result | 2016-04-28 | Paper |
| Finite-valued semantics for canonical labelled calculi | 2015-06-23 | Paper |
| Cut-elimination: syntax and semantics | 2015-02-27 | Paper |
| Monotone operators on Gödel logic | 2014-05-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406038 | 2014-04-01 | Paper |
| Gödel logics with monotone operators | 2012-11-21 | Paper |
| Effective Finite-Valued Semantics for Labelled Calculi | 2012-09-05 | Paper |
| On the complexity of proof deskolemization | 2012-06-19 | Paper |
| Theorem proving for prenex Gödel logic with \(\Delta\): checking validity and unsatisfiability | 2012-04-03 | Paper |
| First-order satisfiability in Gödel logics: an NP-complete fragment | 2011-12-07 | Paper |
| Eskolemization in Intuitionistic Logic | 2011-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007245 | 2011-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3001091 | 2011-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998380 | 2011-05-18 | Paper |
| Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving | 2011-05-06 | Paper |
| Strong splitting rules in automated theorem proving | 2011-04-16 | Paper |
| On the non-confluence of cut-elimination | 2011-03-18 | Paper |
| Methods of cut-elimination | 2010-11-30 | Paper |
| A Resolution Mechanism for Prenex Gödel Logic | 2010-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408133 | 2010-02-24 | Paper |
| Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic | 2010-02-19 | Paper |
| Note on witnessed Gödel logics with Delta | 2009-11-04 | Paper |
| SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability | 2009-07-02 | Paper |
| On Skolemization in constructive theories | 2009-03-23 | Paper |
| Cut Elimination for First Order Gödel Logic by Hyperclause Resolution | 2009-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3532275 | 2008-11-03 | Paper |
| CERES: An analysis of Fürstenberg's proof of the infinity of primes | 2008-09-16 | Paper |
| Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type | 2008-08-15 | Paper |
| Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). | 2008-06-23 | Paper |
| Herbrand Theorems and Skolemization for Prenex Fuzzy Logics | 2008-06-19 | Paper |
| On Interpolation in Existence Logics | 2008-05-27 | Paper |
| Monadic Fragments of Gödel Logics: Decidability and Undecidability Results | 2008-05-15 | Paper |
| Effective Finite-Valued Approximations of General Propositional Logics | 2008-03-25 | Paper |
| Proof Theory for First Order Łukasiewicz Logic | 2008-01-04 | Paper |
| Note on Conditional Constructivity | 2007-11-15 | Paper |
| Towards a clausal analysis of cut-elimination | 2007-10-23 | Paper |
| Proof Transformation by CERES | 2007-09-05 | Paper |
| First-order Gödel logics | 2007-06-25 | Paper |
| Computer Science Logic | 2006-11-01 | Paper |
| The Skolemization of existential quantifiers in intuitionistic logic | 2006-09-14 | Paper |
| Herbrand's theorem and term induction | 2006-05-26 | Paper |
| Gentzen calculi for the existence predicate | 2006-03-17 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Controlling witnesses | 2005-09-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681897 | 2005-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4825702 | 2004-11-05 | Paper |
| Hypersequent Calculi for Godel Logics -- a Survey | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809082 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474833 | 2004-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450443 | 2004-02-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436025 | 2003-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4436026 | 2003-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4431386 | 2003-10-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412847 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412849 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411836 | 2003-07-10 | Paper |
| A natural deduction system for intuitionistic fuzzy logic | 2003-03-31 | Paper |
| Complexity of t-tautologies | 2003-03-06 | Paper |
| Characterization of the Axiomatizable Prenex Fragments of First-Order Goedel Logics | 2003-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783326 | 2002-12-04 | Paper |
| Automated deduction for many-valued logics | 2002-09-05 | Paper |
| Normal form transformations | 2002-08-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767023 | 2002-06-30 | Paper |
| Approximating Propositional Calculi by Finite-valued Logics | 2002-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753673 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4524779 | 2001-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721191 | 2001-07-01 | Paper |
| Labeled calculi and finite-valued logics | 2001-06-25 | Paper |
| Embedding logics into product logic | 2001-04-19 | Paper |
| Cut-elimination and redundancy-elimination by resolution | 2001-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525273 | 2001-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4501677 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944902 | 2000-09-05 | Paper |
| Cut normal forms and proof complexity | 2000-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263811 | 2000-03-29 | Paper |
| Note on the generalization of calculations | 2000-01-12 | Paper |
| Interpolation in fuzzy logic | 2000-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4263005 | 1999-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4255505 | 1999-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218100 | 1999-03-02 | Paper |
| Note on generalizing theorems in algebraically closed fields | 1998-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4380155 | 1998-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362908 | 1998-06-14 | Paper |
| The Axiom of Choice in Quantum Theory | 1997-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4893133 | 1997-05-25 | Paper |
| Completeness of a first-order temporal logic with time-gaps | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4863690 | 1996-07-01 | Paper |
| Generalizing theorems in real closed fields | 1996-01-21 | Paper |
| Resolution-based theorem proving for many-valued logics | 1995-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4840168 | 1995-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4304753 | 1994-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4283227 | 1994-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282535 | 1994-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3142560 | 1994-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140631 | 1993-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140630 | 1993-11-28 | Paper |
| Complexity of resolution proofs and function introduction | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3976578 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3469102 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729759 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3780486 | 1987-01-01 | Paper |
| Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\) | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727949 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3746919 | 1985-01-01 | Paper |
| Epsilon Calculus Provides Shorter Cut-Free Proofs | N/A | Paper |
