弱Boole代数与具有条件(S)的关联BCK-代数

摘要

证明了具有条件(S)的关联BCK-代数(X;*,o)等价于弱Boole代数(X;∧,o,*).