×

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
PDFBibTeX XMLCite