Varieties generated by finite BCK-algebras
Copyright policy )Varieties generated by finite BCK-algebras
Iséki's BCK-algebras form a quasivariety of groupoids and a finite BCK-algebra must satisfy the identity (En): xyn = xyn+1, for a suitable positive integer n. The class of BCK-algebras which satisfy (En) is a variety which has strongly equationally definable principal congruences, congruence-3-distributivity, and congruence-3-permutability. Thus, a finite BCK-algebra generates a 3-based variety of BCK-algebras. The variety of bounded commutative BCK-algebras which satisfy (En) is generated by n finite algebras, each of which is semiprimal.
- Flinders University Australia
Equational logic, Mal'tsev conditions, Congruence modularity, congruence distributivity, finite BCK-algebra, commutative BCK-algebras, subdirectly irreducible commutative BCK-algebra, Subalgebras, congruence relations, variety of BCK-algebras, Quasivarieties, Other algebras related to logic
Equational logic, Mal'tsev conditions, Congruence modularity, congruence distributivity, finite BCK-algebra, commutative BCK-algebras, subdirectly irreducible commutative BCK-algebra, Subalgebras, congruence relations, variety of BCK-algebras, Quasivarieties, Other algebras related to logic
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).10 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Average influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Top 10% impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
Citations provided by BIP!Popularity provided by BIP!