In 1966, Imai, Y. and the latter author of this paper introduced the BCK-algebra in the following Definition 1. Let X be a set with a binary operation * and a constant 0. Then X is called a BCK-algebra, if it satisfie...In 1966, Imai, Y. and the latter author of this paper introduced the BCK-algebra in the following Definition 1. Let X be a set with a binary operation * and a constant 0. Then X is called a BCK-algebra, if it satisfies the following conditions: (ⅰ) (x*y)*(x*展开更多
文摘In 1966, Imai, Y. and the latter author of this paper introduced the BCK-algebra in the following Definition 1. Let X be a set with a binary operation * and a constant 0. Then X is called a BCK-algebra, if it satisfies the following conditions: (ⅰ) (x*y)*(x*