具有条件(H)的BCK—代数及其性质

BCk-algebras with Conedition(H) and,Its Properties

文[1—2」引入了具有条件(S)的BCK—代数,本文推广了这一类BCK—代数,引入了具有条件(H)的BCK—代数,并得到一些重要结果.

In this paper,We introduce the Concept of BCK-algebras with,Condition(H)and discussits properties. The main results are the following:i)Bounded implicative BCK-algebrasbe BCK-al-gebras with Condition (H) (Theoren 1) ;ii) BCK-algebras with Condiation(S)be BCK-algebras withCondition (H), (Theorem 2) ; iii)There are infinite of BCK-algebras with Condition(H), (Theorem4;iv)There are BCK-algebras with Condition (H),but that does not contain condition (S), (Theo-rem 3) ;and v)There are BCK-algebras that does not Contain Condition(H).