【摘要】 本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。更多还原

【Abstract】 This paper has proved that a commutative negatively partially ordered (briefly,n. p. o)residual monoid induces a BCK-algebra with condition(S),and the adjoint semigroup M(X) of a BCK-algebras with condition(S) is a commutative n. p. o. residual monoid . It also shows that every BCK-algebra with condition (S) is a set of residuables in a commutative n. p. o. monoid.更多还原