| Publication | Date of Publication | Type |
|---|
| Semiconic idempotent logic. II: Beth definability and deductive interpolation | 2025-01-08 | Paper |
| Almost minimal varieties of commutative residuated lattices | 2024-08-27 | Paper |
| Unilinear residuated lattices: axiomatization, varieties and FEP | 2024-07-08 | Paper |
| Decidability of lattice equations | 2024-06-26 | Paper |
| Semiconic idempotent logic. I: Structure and local deduction theorems. | 2024-05-14 | Paper |
| Distributive \(\ell\)-pregroups: generation and decidability | 2024-04-21 | Paper |
| Gluing residuated lattices | 2023-12-19 | Paper |
| Decidability of distributive l-pregroups | 2023-10-19 | Paper |
| Unilinear residuated lattices: axiomatization, varieties and FEP | 2023-04-11 | Paper |
| Complemented MacNeille completions and algebras of fractions | 2023-04-04 | Paper |
| Weakening Relation Algebras and FL$$^2$$-algebras | 2022-08-30 | Paper |
| MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE | 2022-08-29 | Paper |
| Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation | 2022-08-20 | Paper |
| Twist structures and Nelson conuclei | 2022-07-22 | 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 |
| Complemented MacNeille completions and algebras of fractions | 2021-11-18 | Paper |
| Densification via polynomials, languages, and frames | 2021-09-17 | Paper |
| Twist structures and Nelson conuclei | 2021-06-18 | Paper |
| Lattice-ordered pregroups are semi-distributive | 2021-03-03 | Paper |
| From distributive l-monoids to l-groups, and back again | 2021-02-27 | Paper |
| The structure of generalized BI-algebras and weakening relation algebras | 2020-07-13 | Paper |
| Most simple extensions of $\mathsf{FL_e}$ are undecidable | 2020-05-01 | Paper |
| Categories of models of \(\mathbf{R}\)-mingle | 2019-07-10 | Paper |
| Distributive residuated frames and generalized bunched implication algebras | 2017-12-21 | Paper |
| The FEP for some varieties of fully distributive knotted residuated lattices | 2017-12-21 | Paper |
| Categories of Models of R-Mingle | 2017-10-11 | Paper |
| Canonical formulas for \(k\)-potent commutative, integral, residuated lattices | 2017-06-22 | Paper |
| Algebraic proof theory: hypersequents and hypercompletions | 2016-12-23 | Paper |
| Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions | 2016-09-05 | Paper |
| Proof theory for lattice-ordered groups | 2016-05-20 | Paper |
| The finite embeddability property for noncommutative knotted extensions of RL | 2015-05-29 | Paper |
| Idempotent residuated structures: Some category equivalences and their applications | 2015-04-22 | Paper |
| Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices | 2014-04-25 | Paper |
| Residuated frames with applications to decidability | 2013-04-16 | Paper |
| Preface to the special issue: Recent developments related to residuated lattices and substructural logics | 2013-02-18 | Paper |
| Relation algebras as expanded FL-algebras | 2013-02-05 | Paper |
| A category equivalence for odd Sugihara monoids and its applications | 2013-01-30 | Paper |
| Periodic lattice-ordered pregroups are distributive | 2012-11-27 | Paper |
| Generalized ordinal sums and translations | 2012-05-21 | Paper |
| Algebraic proof theory for substructural logics: cut-elimination and completions | 2012-04-13 | Paper |
| MacNeille completions of FL-algebras | 2011-12-14 | Paper |
| Cut elimination and strong separation for substructural logics: an algebraic approach | 2011-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998395 | 2011-05-18 | Paper |
| Equivalence of consequence relations: an order-theoretic and categorical perspective | 2009-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505080 | 2008-06-18 | Paper |
| Residuated lattices. An algebraic glimpse at substructural logics | 2007-05-30 | Paper |
| Glivenko theorems for substructural logics over FL | 2007-01-19 | Paper |
| Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL | 2006-10-27 | Paper |
| Minimal varieties of residuated lattices | 2006-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5693622 | 2005-09-26 | Paper |
| Generalized MV-algebras | 2005-04-07 | Paper |
| Adding involution to residuated structures | 2005-04-07 | Paper |
| Equational bases for joins of residuated-lattice varieties | 2004-08-06 | Paper |
| Generation and decidability for periodic l-pregroups | N/A | Paper |
