×

zbMATH — the first resource for mathematics

On commutative BCK-algebras embeddable into directed commutative BCK- algebras. (English) Zbl 0481.03043

MSC:
03G25 Other algebras related to logic
08C05 Categories of algebras
08B05 Equational logic, Mal’tsev conditions
03C05 Equational classes, universal algebra in model theory
03B40 Combinatory logic and lambda calculus
PDF BibTeX XML Cite