| Publication | Date of Publication | Type |
|---|
| An algebraic glimpse at bunched implications and separation logic | 2024-03-25 | Paper |
| Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras | 2024-03-11 | Paper |
| Locally Integral Involutive PO-Semigroups | 2023-10-19 | Paper |
| The structure of locally integral involutive po-monoids and semirings | 2023-08-17 | Paper |
| Representable and diagonally representable weakening relation algebras | 2023-08-17 | Paper |
| $S$-preclones and the Galois connection ${}^S\mathrm{Pol}$-${}^S\mathrm{Inv}$, Part I | 2023-06-01 | Paper |
| Unary-determined distributive \(\ell \)-magmas and bunched implication algebras | 2023-03-30 | Paper |
| Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} | 2023-03-30 | Paper |
| Injective and projective semimodules over involutive semirings | 2022-09-09 | Paper |
| Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests | 2022-08-30 | Paper |
| Weakening Relation Algebras and FL$$^2$$-algebras | 2022-08-30 | Paper |
| A finite axiomatization of positive MV-algebras | 2022-07-13 | Paper |
| Primitive lattice varieties | 2022-06-08 | Paper |
| On the Representation of Boolean Magmas and Boolean Semilattices | 2021-12-10 | Paper |
| A finite axiomatization of positive MV-algebras | 2021-12-06 | Paper |
| The structure of finite commutative idempotent involutive residuated lattices | 2021-10-28 | Paper |
| Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report) | 2021-08-14 | Paper |
| Lattice-ordered pregroups are semi-distributive | 2021-03-03 | Paper |
| The structure of finite commutative idempotent involutive residuated lattices | 2020-07-28 | Paper |
| The structure of generalized BI-algebras and weakening relation algebras | 2020-07-13 | Paper |
| Structure theorems for idempotent residuated lattices | 2020-05-26 | Paper |
| Logics for rough concept analysis | 2020-01-14 | Paper |
| Distributive laws in residuated binars | 2019-11-22 | Paper |
| Nonassociative right hoops | 2019-10-28 | Paper |
| Distributive laws in residuated binars | 2019-01-06 | Paper |
| Logics for Rough Concept Analysis | 2018-11-17 | Paper |
| On the structure of generalized effect algebras and separation algebras | 2018-11-08 | Paper |
| Nonassociative right hoops | 2018-10-15 | Paper |
| On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras | 2018-02-23 | Paper |
| Distributive residuated frames and generalized bunched implication algebras | 2017-12-21 | Paper |
| ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS | 2017-09-27 | Paper |
| Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras | 2017-07-21 | Paper |
| Varieties of Lattices | 2017-04-07 | Paper |
| Concurrent Kleene algebra with tests and branching automata | 2016-06-22 | Paper |
| Generating all finite modular lattices of a given size | 2015-10-14 | Paper |
| Topological duality and lattice expansions. II: Lattice expansions with quasioperators. | 2014-05-23 | Paper |
| Topological duality and lattice expansions. I: A topological construction of canonical extensions. | 2014-05-08 | Paper |
| On some Properties of quasi-MV √ Algebras and quasi-MV Algebras. Part IV | 2014-04-25 | Paper |
| Concurrent Kleene Algebra with Tests | 2014-04-16 | 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 |
| Periodic lattice-ordered pregroups are distributive | 2012-11-27 | Paper |
| Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings | 2012-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998395 | 2011-05-18 | Paper |
| Embedding theorems for classes of GBL-algebras | 2010-04-22 | Paper |
| The Blok-Ferreirim theorem for normal GBL-algebras and its application | 2010-01-22 | Paper |
| Domain and Antidomain Semigroups | 2009-12-11 | Paper |
| Generalizations of Boolean products for lattice-ordered algebras | 2009-11-04 | Paper |
| The Structure of the One-Generated Free Domain Semiring | 2008-05-15 | Paper |
| Residuated lattices. An algebraic glimpse at substructural logics | 2007-05-30 | Paper |
| On the structure of generalized BL-algebras | 2007-01-29 | Paper |
| Relational and Kleene-Algebraic Methods in Computer Science | 2005-12-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5693612 | 2005-09-26 | Paper |
| The variety generated by order algebras. | 2005-04-19 | Paper |
| Algebraic aspects of cut elimination | 2005-04-07 | Paper |
| MINIMAL EXPANSIONS OF SEMILATTICES | 2004-11-01 | Paper |
| From semirings to residuated Kleene lattices | 2004-08-06 | Paper |
| Rudin-Keisler Posets of Complete Boolean Algebras | 2002-10-02 | Paper |
| ABSOLUTE RETRACTS AS REDUCED PRODUCTS | 2002-01-07 | Paper |
| Partition Complete Boolean Algebras and Almost Compact Cardinals | 1999-11-23 | Paper |
| P3-isomorphisms for graphs | 1998-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4362874 | 1997-11-13 | Paper |
| Nonrepresentable sequential algebras | 1997-09-10 | Paper |
| Total tense algebras and symmetric semiassociative relation algebras | 1996-05-02 | Paper |
| Adjoining units to residuated Boolean algebras | 1996-02-20 | Paper |
| Minimal relation algebras | 1995-07-02 | Paper |
| Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\) | 1995-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273435 | 1994-01-13 | Paper |
| Varieties of lattices | 1993-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011719 | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3358781 | 1990-01-01 | Paper |
| Absolute Retracts and Amalgamation in Certain Congruence Distributive Varieties | 1989-01-01 | Paper |
