Varieties generated by finite BCK-algebras
From MaRDI portal
Publication:3880895
DOI10.1017/S0004972700006730zbMath0439.08007MaRDI QIDQ3880895
Publication date: 1980
Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)
commutative BCK-algebrasvariety of BCK-algebrasfinite BCK-algebrasubdirectly irreducible commutative BCK-algebra
Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15)
Related Items
On the structure of varieties with equationally definable principal congruences. III ⋮ On the quasivariety of BCK-algebras and its subvarieties ⋮ Spectral properties of cBCK-algebras ⋮ Universal algebras ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ On annihilators of BCK-algebras ⋮ Wajsberg algebras and Post algebras
Cites Work
- On \(n\)-permutable congruences
- A note on the congruence extension property
- Implication algebras are 3-permutable and 3-distributive
- Semi-categorial algebras. II
- Super-Łukasiewicz implicational logics
- On Baker's Finite Basis Theorem for Congruence Distributive Varieties
- Equational Theories of Algebras with Distributive Congruences
- Algebras Whose Congruence Lattices are Distributive.
- An algebra related with a propositional calculus
- Congruence Relations in Direct Products