| Publication | Date of Publication | Type |
|---|
| Recognizability in residuated lattices | 2024-03-25 | Paper |
| Residuated Structures in Algebra and Logic | 2023-11-02 | Paper |
| Nilpotency and the Hamiltonian property for cancellative residuated lattices | 2022-06-08 | Paper |
| Join-completions of partially ordered algebras | 2020-10-07 | Paper |
| The Archimedean property: new horizons and perspectives | 2018-12-05 | Paper |
| Density revisited | 2018-02-23 | Paper |
| Uniform interpolation and compact congruences | 2017-07-13 | Paper |
| Hulls of ordered algebras: projectability, strong projectability and lateral completeness | 2017-05-22 | Paper |
| Projectable \(\ell\)-groups and algebras of logic: categorical and algebraic connections. | 2016-05-18 | Paper |
| The Conrad program: from \(l\)-groups to algebras of logic. | 2016-01-29 | Paper |
| The Failure of The Amalgamation Property for Semilinear Varieties of Residuated Lattices | 2015-11-26 | Paper |
| Semi-linear Varieties of Lattice-Ordered Algebras | 2015-10-06 | Paper |
| Free Objects and Free Extensions in the Category of Frames | 2015-06-08 | Paper |
| Amalgamation and interpolation in ordered algebras. | 2014-07-25 | Paper |
| Lattice-theoretic properties of algebras of logic | 2014-04-30 | Paper |
| On Birkhoff's common abstraction problem | 2013-02-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3584003 | 2010-08-18 | Paper |
| Ordered groups with a conucleus | 2009-11-04 | Paper |
| Ordinal decompositions for preordered root systems | 2009-11-04 | Paper |
| Equivalence of consequence relations: an order-theoretic and categorical perspective | 2009-09-29 | Paper |
| Gödel incompleteness in AF C*-algebras | 2008-12-18 | Paper |
| The duality between algebraic posets and bialgebraic frames: a lattice theoretic perspective | 2008-10-20 | Paper |
| Perfect GMV-Algebras | 2008-06-26 | Paper |
| A concrete realization of the Hoare powerdomain | 2007-09-06 | Paper |
| Retracted: Ordered groups with a modality | 2007-09-03 | Paper |
| Minimal varieties of involutive residuated lattices | 2006-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5693612 | 2005-09-26 | Paper |
| Generalized MV-algebras | 2005-04-07 | Paper |
| Products of classes of residuated structures | 2005-04-07 | Paper |
| THE STRUCTURE OF RESIDUATED LATTICES | 2004-08-06 | Paper |
| Order algebras as models of linear logic | 2004-08-06 | Paper |
| THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES | 2002-12-15 | Paper |
| Groupable lattices | 1996-04-22 | Paper |
| The finite basis theorem for relatively normal lattices | 1995-02-22 | Paper |
| Decompositions for Relatively Normal Lattices | 1994-11-17 | Paper |
| Relation algebras as residuated Boolean algebras | 1994-08-08 | Paper |
| Finite-valued algebraic lattices | 1993-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3483331 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3481756 | 1989-01-01 | Paper |
| The failure of the amalgamation property for representable varieties of l-groups | 1989-01-01 | Paper |
| Covers of the variety of abelian ℓ-groups | 1989-01-01 | Paper |
| Sets of Disjoint Elements in Free Products of Lattice-Ordered Groups | 1988-01-01 | Paper |
| Cofinality of algebras | 1986-01-01 | Paper |
| Disjointness conditions for free products of \(\ell\)-groups | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4723788 | 1986-01-01 | Paper |
| Projectable and strongly projectable lattice-ordered groups | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689229 | 1985-01-01 | Paper |
| Meet-irreducible varieties of lattice-ordered groups | 1985-01-01 | Paper |
| Globally determined lattices and semilattices | 1984-01-01 | Paper |
| Globals of completely regular periodic semigroups | 1984-01-01 | Paper |
| Free products of lattice ordered groups | 1984-01-01 | Paper |
| Free products in the class of Abelian l-groups | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3663354 | 1983-01-01 | Paper |
| Free Products of Abelian l-Groups are Cardinally Indecomposable | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953816 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867846 | 1979-01-01 | Paper |
| Relative pseudo-complements, join-extensions, and meet-retractions | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4141856 | 1975-01-01 | Paper |
| Equivalence of multiset-based consequence relations | N/A | Paper |
