| Publication | Date of Publication | Type |
|---|
| Czelakowski's work on quasivarieties | 2025-10-24 | Paper |
Congruence systems in dual discriminator varieties
Algebra Universalis | 2025-07-16 | Paper |
Semisimplicity and congruence 3-permutability for quasivarieties with equationally definable principal congruences
Studia Logica | 2024-06-26 | Paper |
A short proof of the Baker–Pixley theorem for classes
International Journal of Algebra and Computation | 2024-01-04 | Paper |
Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures
(available as arXiv preprint) | 2023-03-29 | Paper |
ALGEBRAIC EXPANSIONS OF LOGICS
Journal of Symbolic Logic | 2023-02-27 | Paper |
Varieties with existentially definable factor congruences
Algebra Universalis | 2022-05-10 | Paper |
Every minimal dual discriminator variety is minimal as a quasivariety
Algebra Universalis | 2021-05-06 | Paper |
| Deciding quantifier-free definability in finite algebraic structures | 2021-01-19 | Paper |
The complexity of definability by open first-order formulas
Logic Journal of the IGPL | 2021-01-08 | Paper |
| Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras | 2020-06-16 | Paper |
On structural completeness versus almost structural completeness problem: a discriminator varieties case study
Logic Journal of the IGPL | 2019-01-08 | Paper |
On structural completeness versus almost structural completeness problem: a discriminator varieties case study
Logic Journal of the IGPL | 2019-01-08 | Paper |
The lattice of congruences of a finite line frame
Journal Of Logic And Computation | 2018-11-20 | Paper |
The lattice of congruences of a finite line frame
Journal Of Logic And Computation | 2018-11-20 | Paper |
| Deciding open definability via subisomorphisms | 2018-10-18 | Paper |
DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
Journal of Symbolic Logic | 2018-05-02 | Paper |
Relative congruence formulas and decompositions in quasivarieties
Algebra Universalis | 2017-12-21 | Paper |
Semantical conditions for the definability of functions and relations
Algebra Universalis | 2016-09-14 | Paper |
| Epic substructures and primitive positive functions | 2016-07-11 | Paper |
Algebraic functions in Łukasiewicz implication algebras.
International Journal of Algebra and Computation | 2016-04-08 | Paper |
Algebraic functions in quasiprimal algebras.
Mathematical Logic Quarterly (MLQ) | 2014-06-06 | Paper |
Implicit definition of the quaternary discriminator
Algebra Universalis | 2012-11-27 | Paper |
Algebraic functions
Studia Logica | 2012-03-09 | Paper |
Quasivarieties and congruence permutability of Łukasiewicz implication algebras
Studia Logica | 2012-03-09 | Paper |
Axiomatizability by \({\forall \exists!}\)-sentences
Archive for Mathematical Logic | 2011-11-23 | Paper |
An implicit function theorem for algebraically closed fields
Algebra Universalis | 2011-06-01 | Paper |
Algebraically expandable classes of implication algebras
International Journal of Algebra and Computation | 2010-10-21 | Paper |
Algebraically expandable classes
Algebra Universalis | 2009-12-14 | Paper |
An implicit function theorem for regular fuzzy logic functions
Fuzzy Sets and Systems | 2009-08-28 | Paper |
| A note on congruence systems of MS-algebras. | 2009-03-31 | Paper |
| A note on congruence systems of MS-algebras. | 2009-03-31 | Paper |
Congruence permutable MS-algebras
Algebra Universalis | 2007-04-02 | Paper |
The subquasivariety lattice of a discriminator variety
Advances in Mathematics | 2001-11-01 | Paper |
