关于正蕴涵BCK-代数

On Positive Implicative BCK-algebra

给出了弱可结合的定义,从映射角度得到了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.