关于正蕴涵BCK-代数  

On Positive Implicative BCK-algebra

作　　者：杨艳丽[1] 陈建飞[1] 段寿建[2] 

机构地区：[1]云南民族大学数学与计算机科学学院,云南昆明650031 [2]云南师范大学计算机科学与信息技术学院,云南昆明650092

出　　处：《云南民族大学学报（自然科学版）》2007年第3期219-221,共3页Journal of Yunnan Minzu University:Natural Sciences Edition

摘　　要：给出了弱可结合的定义,从映射角度得到了BCK-代数是正蕴涵的等价条件,讨论了具有条件(S)的正蕴涵BCK-代数同构于所有右乘映射的集合R(X).In this paper, we define the weak associative BCK- algebra, obtain some equal conditions of positive implicative BCK -algebras from mapping, and discuss that a BCK -algebra with condition （S） is isomorphic to the F（X）, which is the set of all right maps.

关 键 词：正蕴涵BCK一代数 伴随半群 幂等的 蕴涵同态F(X) 

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