OFFSET
2,2
COMMENTS
a(2)-a(10) were generated using the model enumerator Mace4.
LINKS
Y. H. Lin, Some properties on commutative BCK-algebras, Scientiae Mathematicae Japonicae, 55(1) (2002), 129-134.
MathStructures, Commutative BCK-algebras.
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Choiwah Chow, Dec 18 2022
STATUS
approved