| Publication | Date of Publication | Type |
|---|
Conuclei on varieties of hoops
(available as arXiv preprint) | 2026-01-01 | Paper |
Terms that define nuclei on residuated lattices: a case study of BL-algebras
Fuzzy Sets and Systems | 2025-11-07 | Paper |
Strong completeness for the predicate logic of the continuous t-norms
Fuzzy Sets and Systems | 2025-11-06 | Paper |
| Czelakowski's work on quasivarieties | 2025-10-24 | Paper |
Congruence systems in dual discriminator varieties
Algebra Universalis | 2025-07-16 | Paper |
Strong standard completeness theorems for S5-modal Łukasiewicz logics
Annals of Pure and Applied Logic | 2025-01-08 | Paper |
Strong completeness for the predicate logic of the continuous t-norms
(available as arXiv preprint) | 2024-01-01 | Paper |
The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
(available as arXiv preprint) | 2024-01-01 | Paper |
Terms that define nuclei on residuated lattices: a case study of BL-algebras
(available as arXiv preprint) | 2024-01-01 | 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 |
Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras
(available as arXiv preprint) | 2020-01-01 | Paper |
Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
Fuzzy Sets and Systems | 2018-02-20 | Paper |
Implicative subreducts of MV-algebras: free and weakly projective objects
Algebra Universalis | 2018-01-12 | Paper |
| scientific article; zbMATH DE number 6751607 (Why is no real title available?) | 2017-07-24 | Paper |
Algebraic functions in Łukasiewicz implication algebras.
International Journal of Algebra and Computation | 2016-04-08 | Paper |
Angles, triangle inequalities, correlation matrices and metric-preserving and subadditive functions
Linear Algebra and its Applications | 2016-02-12 | Paper |
Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
(available as arXiv preprint) | 2016-01-01 | Paper |
Regular elements and Kolmogorov translation in residuated lattices
Algebra Universalis | 2015-03-02 | Paper |
Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
Soft Computing | 2012-05-16 | Paper |
Quasivarieties and congruence permutability of Łukasiewicz implication algebras
Studia Logica | 2012-03-09 | Paper |
Free-decomposability in varieties of pseudocomplemented residuated lattices
Studia Logica | 2012-03-09 | 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 |
Conditions for permutability of congruences in implication algebras
Order | 2009-09-14 | Paper |
