蕴涵BCK-代数与剩余半群  

Implicative BCK algebras and residuled semigroups

作　　者：徐少贤 

机构地区：[1]南阳师范专科学校数学系

出　　处：《陕西师范大学学报（自然科学版）》1999年第S1期13-15,共3页Journal of Shaanxi Normal University：Natural Science Edition

摘　　要：给出了蕴涵ＢＣＫ－代数的伴随半群作为剩余半群的若干特征，从半群的角度对这类ＢＣＫ－代数予以刻画，说明其伴随半群Ｍ（Ｘ）关于剩余运算“∶”作成一个蕴涵ＢＣＫ－代数。The adjoint semigroup of implicative BCK algebra is a residuled semigroup. Some characterizations of such residuled semigroup are given. Moreover, we prove that the adjoint semigroup M(X) of an implicative BCK algebra, becomes an implicative BCK algebra, with the binary operation“∶”,and M(X) is isomorphic to M(M(X)).

关 键 词：蕴涵BCK-代数 伴随半群 剩余半群 同构 

分 类 号：O153.1[理学—数学]