| Publication | Date of Publication | Type |
|---|
| Complexity of the universal theory of residuated ordered groupoids | 2023-08-14 | Paper |
| On Levine’s notorious hat puzzle | 2022-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3390427 | 2022-03-24 | Paper |
| Computational complexity for bounded distributive lattices with negation | 2021-06-14 | Paper |
| Complexity of the universal theory of modal algebras | 2020-03-27 | Paper |
| Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids | 2019-10-12 | Paper |
| Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids | 2019-08-09 | Paper |
| Distributive and completely distributive lattice extensions of ordered sets | 2018-07-12 | Paper |
| Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras | 2018-02-19 | Paper |
| The canonical FEP construction | 2017-05-17 | Paper |
| Embedding ordered sets into distributive lattices | 2016-12-16 | Paper |
| An algebraic look at filtrations in modal logic | 2015-02-27 | Paper |
| Modal MTL-algebras | 2014-04-14 | Paper |
| Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras | 2014-01-10 | Paper |
| Prelinear algebras in relatively regular quasivarieties | 2013-06-26 | Paper |
| Preservation theorems for MTL-chains | 2012-05-21 | Paper |
| Completion and finite embeddability property for residuated ordered algebras. | 2010-09-10 | Paper |
| Relational Representation Theorems for Lattices with Negations: A Survey | 2009-01-20 | Paper |
| Structural Completeness in Substructural Logics | 2008-12-05 | Paper |
| Relational Representation Theorems for General Lattices with Negations | 2008-04-24 | Paper |
| A vector lattice version of r˚ adström's embedding theorem | 2008-04-01 | Paper |
| On the variety of Riesz spaces | 2007-09-19 | Paper |
| Implicational subreducts of \(n\)-potent commutative residuated lattices | 2007-09-03 | Paper |
| On varieties of biresiduation algebras | 2006-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5488264 | 2006-09-14 | Paper |
| The finite model property for knotted extensions of propositional linear logic | 2006-02-08 | Paper |
| Congruence properties in congruence permutable and in ideal determined varieties, with applications. | 2006-01-06 | Paper |
| On the finite embeddability property for residuated ordered groupoids | 2005-07-26 | Paper |
| The finite embeddability property for residuated lattices, pocrims and BCK-algebras. | 2005-04-19 | Paper |
| The Termwise Equivalence of The Varieties ofL-group Cones and Cancellative Generalized Hoops | 2005-02-28 | Paper |
| Rule separation and embedding theorems for logics without weakening | 2004-08-06 | Paper |
| Representable biresiduated lattices | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752408 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752417 | 2002-03-25 | Paper |
| On the lattice of varieties of residuation algebras | 2001-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4943158 | 2000-10-26 | Paper |
| The finite model property for the implicational fragment of IPC without exchange and contraction | 2000-06-04 | Paper |
| ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION | 2000-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4359793 | 1999-05-05 | Paper |
