Wroński, Andrzej An algebraic motivation for BCK-algebras. (English) Zbl 0569.03029 Math. Jap. 30, 187-193 (1985). 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 Cited in 1 ReviewCited in 13 Documents MSC: 03G25 Other algebras related to logic 06D99 Distributive lattices Keywords:BCC-algebras; BCK-algebras; residuation subreducts; commutative integral monoids PDFBibTeX XMLCite \textit{A. Wroński}, Math. Japon. 30, 187--193 (1985; Zbl 0569.03029)