论文部分内容阅读
1980年,K.Iseki[1]提出具有条件（C）的BCK—代数是否可换的问题。1982年,M.palasinki[2]绐出了一个条件（C<sub>1</sub>）,并证明了在BCK—代数中条件（C<sub>1</sub>）等价于可换。1989年,沈百英（3）证明了（C<sub>1</sub>）与（C）是等价的,从而解决了Iseki的问题。本文给出具有条件（C）的BCK—代数等价于可换的一个直接证明。