×

zbMATH — the first resource for mathematics

An algebraic motivation for BCK-algebras. (English) Zbl 0569.03029
BCC- as well as BCK-algebras were introduced as an algebraic counterpart of an implicational propositional calculus whose significance stems from connections with combinatory logic. The author has pointed out that BCC- and BCK-algebras are also algebraically interesting, e.g. the class of BCK-algebras characterize residuation subreducts of commutative integral monoids with residuation.
Reviewer: M.Pałasiński

MSC:
03G25 Other algebras related to logic
06D99 Distributive lattices
PDF BibTeX XML Cite