| Publication | Date of Publication | Type |
|---|
| Discrete sales chains | 2024-04-22 | Paper |
| Families of local involutive integral residuated lattice-ordered commutative monoids admitting Boolean term | 2023-12-20 | Paper |
| The General Apple Property and Boolean terms in Integral Bounded Residuated Lattice-ordered Commutative Monoids | 2023-07-06 | Paper |
| Erratum to: ``Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \({2(x^2) = (2x)^2}\) | 2017-04-07 | Paper |
| Semisimples in varieties of commutative integral bounded residuated lattices | 2016-10-27 | Paper |
| Regular elements and Kolmogorov translation in residuated lattices | 2015-03-02 | Paper |
| Lattice BCK logics with Modus Ponens as unique rule | 2014-06-06 | Paper |
| Locally Finite Quasivarieties of MV-algebras | 2014-05-29 | Paper |
| Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term | 2013-02-18 | Paper |
| Corrigendum to: ``Logics preserving degrees of truth from varieties of residuated lattices | 2012-06-20 | Paper |
| Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts | 2012-05-16 | Paper |
| Free-decomposability in varieties of pseudocomplemented residuated lattices | 2012-03-09 | Paper |
| Semisimplicity and the discriminator in bounded BCK-algebras | 2010-09-08 | Paper |
| Logics Preserving Degrees of Truth from Varieties of Residuated Lattices | 2010-01-14 | Paper |
| Boolean representation of bounded BCK-algebras | 2008-07-30 | Paper |
| An approach to Glivenko's theorem in algebraizable logics | 2008-06-25 | Paper |
| Bounded BCK-algebras and their generated variety | 2007-05-11 | Paper |
| Decomposability of free Łukasiewicz implication algebras | 2007-01-24 | Paper |
| On the infinite-valued Łukasiewicz logic that preserves degrees of truth | 2006-11-06 | Paper |
| Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) | 2006-10-27 | Paper |
| Decomposability of free Tarski algebras | 2006-07-12 | Paper |
| Axiomatic extensions of IMT3 logic | 2006-03-17 | Paper |
| Standard completeness of Hájek basic logic and decompositions of BL-chains | 2006-03-02 | Paper |
| Topological representation for implication algebras | 2006-01-06 | Paper |
| Free algebras in varieties of BL-algebras with a Boolean retract. | 2005-04-19 | Paper |
| Glivenko like theorems in natural expansions of BCK-logic | 2004-03-29 | Paper |
| Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic | 2003-09-16 | Paper |
| Free cancellative hoops | 2003-04-23 | Paper |
| Free Stone algebras | 2002-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4512929 | 2000-11-06 | Paper |
| Quasivarieties generated by simple MV-algebras | 2000-09-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4485547 | 2000-06-14 | Paper |
| Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics | 1999-12-20 | Paper |
| On Gentzen Systems Associated with the Finite Linear MV-algebras | 1997-08-28 | Paper |
| The poset of prime \(l\)-ideals of an abelian \(l\)-group with a strong unit | 1997-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4716898 | 1997-03-11 | Paper |
| Boolean products of MV-algebras: hypernormal MV-algebras | 1996-08-29 | Paper |
| Wajsberg algebras and Post algebras | 1995-03-15 | Paper |
| Cyclic Elements in MV‐Algebras and Post Algebras | 1994-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3987715 | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204458 | 1990-01-01 | Paper |
| On The Role of The Polynomial (X → Y) →Y in Some Implicative Algebras | 1988-01-01 | Paper |
| W-algebras which are Boolean products of members of SR[1] and CW- algebras | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3727993 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3222191 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3728957 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4750640 | 1982-01-01 | Paper |
