| Publication | Date of Publication | Type |
|---|
Strong standard completeness theorems for S5-modal Łukasiewicz logics
Annals of Pure and Applied Logic | 2025-01-08 | Paper |
Varieties of pseudocomplemented Kleene algebras
Mathematical Logic Quarterly | 2023-09-12 | Paper |
ALGEBRAIC EXPANSIONS OF LOGICS
Journal of Symbolic Logic | 2023-02-27 | Paper |
An algebraic study of S5-modal Gödel logic
Studia Logica | 2021-12-27 | Paper |
Completeness for monadic fuzzy logics via functional algebras
Fuzzy Sets and Systems | 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
Fuzzy Sets and Systems | 2018-02-20 | Paper |
| scientific article; zbMATH DE number 6666117 (Why is no real title available?) | 2016-12-20 | Paper |
Algebraic functions in Łukasiewicz implication algebras.
International Journal of Algebra and Computation | 2016-04-08 | Paper |
Regular elements and Kolmogorov translation in residuated lattices
Algebra Universalis | 2015-03-02 | Paper |
Monadic MV-algebras. II: Monadic implicational subreducts
Algebra Universalis | 2014-05-23 | Paper |
Monadic MV-algebras. I: A study of subvarieties
Algebra Universalis | 2014-05-08 | Paper |
Semi-Heyting algebras term-equivalent to Gödel algebras
Order | 2013-06-26 | Paper |
The variety generated by semi-Heyting chains
Soft Computing | 2012-07-03 | Paper |
Free-decomposability in varieties of semi-Heyting algebras
Mathematical Logic Quarterly (MLQ) | 2012-06-01 | Paper |
The variety of semi-Heyting algebras satisfying the equation \((0\to 1)^*\vee (0\to 1)^{**}\approx 1\)
Reports on Mathematical Logic | 2012-05-30 | Paper |
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
Soft Computing | 2012-05-16 | Paper |
Free-decomposability in varieties of pseudocomplemented residuated lattices
Studia Logica | 2012-03-09 | Paper |
Monadic MV-algebras are equivalent to monadic \(\ell \)-groups with strong unit
Studia Logica | 2012-03-09 | Paper |
Quasivarieties and congruence permutability of Łukasiewicz implication algebras
Studia Logica | 2012-03-09 | Paper |
Resolution of algebraic systems of equations in the variety of cyclic Post algebras
Studia Logica | 2012-03-09 | Paper |
| A duality for three-valued Łukasiewicz \(\Delta\)-implication algebras | 2011-03-30 | Paper |
MV-closures of Wajsberg hoops and applications
Algebra Universalis | 2011-01-07 | Paper |
Zariski-type topology for implication algebras
Mathematical Logic Quarterly | 2010-06-10 | Paper |
Topological representation for monadic implication algebras
Central European Journal of Mathematics | 2009-11-24 | Paper |
Conditions for permutability of congruences in implication algebras
Order | 2009-09-14 | Paper |
Factor congruences in BCK-algebras
Soft Computing | 2009-07-24 | Paper |
| Symmetric structure for closure algebras | 2009-02-24 | Paper |
Free Łukasiewicz implication algebras
Archive for Mathematical Logic | 2008-08-20 | Paper |
| The lattice of subvarietes of monadic \(n\)-valued Łukasiewicz-Moisil algebras | 2008-02-11 | Paper |
| Free three-valued closure Łukasiewicz algebras | 2008-02-07 | Paper |
An equivalence between varieties of cyclic Post algebras and varieties generated by a finite field
Central European Journal of Mathematics | 2007-01-29 | Paper |
Representation of cubic lattices by symmetric implication algebras
Order | 2007-01-25 | Paper |
Decomposability of free Łukasiewicz implication algebras
Archive for Mathematical Logic | 2007-01-24 | Paper |
Equivalence between varieties of square root rings and Boolean algebras with a distinguished automorphism
Journal of Algebra | 2006-08-04 | Paper |
Decomposability of free Tarski algebras
Algebra Universalis | 2006-07-12 | Paper |
Closure Łukasiewicz algebras
Central European Journal of Mathematics | 2006-07-12 | Paper |
Topological representation for implication algebras
Algebra Universalis | 2006-01-06 | Paper |
| scientific article; zbMATH DE number 2068680 (Why is no real title available?) | 2004-05-27 | Paper |
Free Double Ockham Algebras
Journal of Applied Non-Classical Logics | 2004-01-13 | Paper |
| scientific article; zbMATH DE number 1894662 (Why is no real title available?) | 2003-11-25 | Paper |
Free algebras in the variety of three-valued closure algebras
Journal of the Australian Mathematical Society | 2002-10-09 | Paper |
Varieties of three-valued Heyting algebras with a quantifier
Studia Logica | 2001-07-19 | Paper |
On subvarieties of symmetric closure algebras
Annals of Pure and Applied Logic | 2001-07-02 | Paper |
Free \(Q\)-distributive lattices from meet semilattices
Discrete Mathematics | 2001-01-25 | Paper |
On cyclic symmetric Heyting algebras.
Portugaliae Mathematica. Nova Série | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1239848 (Why is no real title available?) | 1999-04-20 | Paper |
| scientific article; zbMATH DE number 1209821 (Why is no real title available?) | 1999-02-22 | Paper |
| scientific article; zbMATH DE number 1054871 (Why is no real title available?) | 1997-08-28 | Paper |
