| Publication | Date of Publication | Type |
|---|
| Deciding Equations in the Time Warp Algebra | 2024-03-11 | Paper |
| Transfer theorems for finitely subdirectly irreducible algebras | 2024-01-04 | Paper |
| Residuated Structures in Algebra and Logic | 2023-11-02 | Paper |
| One-variable fragments of first-order logics | 2023-10-24 | Paper |
| Interpolation and the Exchange Rule | 2023-10-23 | Paper |
| Time warps, from algebra to algorithms | 2023-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884949 | 2023-03-24 | Paper |
| MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS | 2023-02-27 | Paper |
| Algebraic semantics for one-variable lattice-valued logics | 2022-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5104720 | 2022-09-15 | Paper |
| One-variable fragments of intermediate logics over linear frames | 2022-06-13 | Paper |
| From distributive \(\ell\)-monoids to \(\ell\)-groups, and back again | 2022-04-06 | Paper |
| Theorems of Alternatives for Substructural Logics | 2022-01-04 | Paper |
| Deciding dependence in logic and algebra | 2021-06-18 | Paper |
| Time Warps, from Algebra to Algorithms | 2021-06-11 | Paper |
| Integrally closed residuated lattices | 2021-05-11 | Paper |
| From distributive l-monoids to l-groups, and back again | 2021-02-27 | Paper |
| Model completions for universal classes of algebras: necessary and sufficient conditions | 2021-02-02 | Paper |
| Structure theorems for idempotent residuated lattices | 2020-05-26 | Paper |
| The one-variable fragment of corsi logic | 2020-03-04 | Paper |
| Ordering groups and validity in lattice-ordered groups | 2019-08-15 | Paper |
| Coherence in Modal Logic | 2019-07-24 | Paper |
| Uniform interpolation and coherence | 2019-05-02 | Paper |
| Skolemization and Herbrand theorems for lattice-valued logics | 2019-03-26 | Paper |
| Checking Admissibility Using Natural Dualities | 2019-02-07 | Paper |
| Ordering groups and validity in lattice-ordered groups | 2018-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636037 | 2018-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636305 | 2018-04-23 | Paper |
| Expressivity in chain-based modal logics | 2018-04-17 | Paper |
| Uniform interpolation and coherence | 2018-03-24 | Paper |
| Density revisited | 2018-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4603449 | 2018-02-20 | Paper |
| Proof theory and ordered groups | 2017-12-20 | Paper |
| Uniform interpolation and compact congruences | 2017-07-13 | Paper |
| Sequent and hypersequent calculi for abelian and łukasiewicz logics | 2017-07-12 | Paper |
| Decidability of order-based modal logics | 2017-06-30 | Paper |
| Proof theory for lattice-ordered groups | 2016-05-20 | Paper |
| An Avron rule for fragments of R-mingle | 2016-04-28 | Paper |
| Skolemization for Substructural Logics | 2016-01-12 | Paper |
| Exact Unification and Admissibility | 2015-10-29 | Paper |
| Admissibility via natural dualities | 2015-06-18 | Paper |
| Amalgamation and interpolation in ordered algebras. | 2014-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5411445 | 2014-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406034 | 2014-04-01 | Paper |
| Herbrand Theorems for Substructural Logics | 2014-01-17 | Paper |
| A Finite Model Property for Gödel Modal Logics | 2013-09-17 | Paper |
| Admissibility in De Morgan algebras | 2013-08-05 | Paper |
| Admissibility in Finitely Generated Quasivarieties | 2013-07-09 | Paper |
| Craig interpolation for semilinear substructural logics | 2012-12-10 | Paper |
| Admissible Rules: From Characterizations to Applications | 2012-09-21 | Paper |
| Unifiability and Admissibility in Finite Algebras | 2012-08-14 | Paper |
| Admissible rules in the implication-negation fragment of intuitionistic logic | 2011-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3012533 | 2011-07-06 | Paper |
| Towards a Proof Theory of G\"odel Modal Logics | 2011-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3584003 | 2010-08-18 | Paper |
| Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions | 2010-03-18 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic | 2010-02-19 | Paper |
| Proof Systems for a Gödel Modal Logic | 2009-12-01 | Paper |
| Structural completeness in fuzzy logics | 2009-11-18 | Paper |
| Giles's game and the proof theory of Łukasiewicz logic | 2009-11-16 | Paper |
| Proof theory for admissible rules | 2009-06-10 | Paper |
| Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics | 2009-02-24 | Paper |
| Proof theory for fuzzy logics | 2009-01-26 | Paper |
| Density elimination | 2008-09-16 | Paper |
| Herbrand Theorems and Skolemization for Prenex Fuzzy Logics | 2008-06-19 | Paper |
| Proof Theory for First Order Łukasiewicz Logic | 2008-01-04 | Paper |
| Density Elimination and Rational Completeness for First-Order Logics | 2008-01-04 | Paper |
| Substructural fuzzy logics | 2007-10-17 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| Normal forms for fuzzy logics: a proof-theoretic approach | 2007-06-07 | Paper |
| Fuzzy logics based on \([0,1)\)-continuous uninorms | 2007-06-07 | Paper |
| Proof Theory for Casari's Comparative Logics | 2006-12-04 | Paper |
| Łukasiewicz Logic: From Proof Systems To Logic Programming | 2006-01-18 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Computer Science Logic | 2005-08-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3021911 | 2005-06-21 | Paper |
| Analytic calculi for product logics | 2005-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412860 | 2003-07-17 | Paper |
