弱Boole代数与具有条件(S)的关联BCK-代数
摘要
证明了具有条件(S)的关联BCK-代数(X;*,)о等价于弱Boole代数(X;∧,,о*)。
出处
《龙岩学院学报》
2006年第6期1-2,共2页
Journal of Longyan University
参考文献4
-
1Huang yisheng．BCI-Alyebra[M]，北京：科学出版社，2003． 被引量：1
-
2赵宝璋．对BCK-代数中若干证明的简化[C]//“双B”代数和计算机逻辑论文集，1991：34-36． 被引量：1
-
3Z M chen,Y S huang. Idempotont element rings [J].math. Japonica, 1993,38:995-999. 被引量：1
-
4K Iseki. on a positive implicative BCK-algebra with the condition(s)[J]. Math. Sere. Notes1977 ,5 :227-232. 被引量：1
