Several Equivalent Axiom Systems on BCK/BEI-Algebra

• 关于BCK/BCI－代数的几个等价公理系