| Publication | Date of Publication | Type |
|---|
| Strong standard completeness theorems for S5-modal Łukasiewicz logics | 2025-01-08 | Paper |
| Varieties of pseudocomplemented Kleene algebras | 2023-09-12 | Paper |
| ALGEBRAIC EXPANSIONS OF LOGICS | 2023-02-27 | Paper |
| An algebraic study of S5-modal Gödel logic | 2021-12-27 | Paper |
| Completeness for monadic fuzzy logics via functional algebras | 2021-06-24 | Paper |
| Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras | 2020-06-16 | Paper |
| Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic | 2018-02-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3179717 | 2016-12-20 | Paper |
| Algebraic functions in Łukasiewicz implication algebras. | 2016-04-08 | Paper |
| Regular elements and Kolmogorov translation in residuated lattices | 2015-03-02 | Paper |
| Monadic MV-algebras. II: Monadic implicational subreducts | 2014-05-23 | Paper |
| Monadic MV-algebras. I: A study of subvarieties | 2014-05-08 | Paper |
| Semi-Heyting algebras term-equivalent to Gödel algebras | 2013-06-26 | Paper |
| The variety generated by semi-Heyting chains | 2012-07-03 | Paper |
| Free-decomposability in varieties of semi-Heyting algebras | 2012-06-01 | Paper |
| The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\) | 2012-05-30 | 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 |
| Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit | 2012-03-09 | Paper |
| Quasivarieties and congruence permutability of Łukasiewicz implication algebras | 2012-03-09 | Paper |
| Resolution of algebraic systems of equations in the variety of cyclic Post algebras | 2012-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086712 | 2011-03-30 | Paper |
| MV-closures of Wajsberg hoops and applications | 2011-01-07 | Paper |
| Zariski-type topology for implication algebras | 2010-06-10 | Paper |
| Topological representation for monadic implication algebras | 2009-11-24 | Paper |
| Conditions for permutability of congruences in implication algebras | 2009-09-14 | Paper |
| Factor congruences in BCK-algebras | 2009-07-24 | Paper |
| Symmetric structure for closure algebras | 2009-02-24 | Paper |
| Free Łukasiewicz implication algebras | 2008-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439799 | 2008-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5441064 | 2008-02-07 | Paper |
| An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field | 2007-01-29 | Paper |
| Representation of cubic lattices by symmetric implication algebras | 2007-01-25 | Paper |
| Decomposability of free Łukasiewicz implication algebras | 2007-01-24 | Paper |
| Equivalence between varieties of square root rings and Boolean algebras with a distinguished automorphism | 2006-08-04 | Paper |
| Decomposability of free Tarski algebras | 2006-07-12 | Paper |
| Closure Łukasiewicz algebras | 2006-07-12 | Paper |
| Topological representation for implication algebras | 2006-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4465173 | 2004-05-27 | Paper |
| Free Double Ockham Algebras | 2004-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4801736 | 2003-11-25 | Paper |
| Free algebras in the variety of three-valued closure algebras | 2002-10-09 | Paper |
| Varieties of three-valued Heyting algebras with a quantifier | 2001-07-19 | Paper |
| On subvarieties of symmetric closure algebras | 2001-07-02 | Paper |
| Free \(Q\)-distributive lattices from meet semilattices | 2001-01-25 | Paper |
| On cyclic symmetric Heyting algebras. | 2001-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4225604 | 1999-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4212245 | 1999-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4352421 | 1997-08-28 | Paper |
