摘要
该文给出了R_0-代数的一些简化公理系统,并证明了R_0-代数等价于满足某些条件的BCK-代数.
In this paper the author gives some reduced axiom systems of R0-algebras, and shows that R0-algebras are equivalent to BCK-algebras satisfying some conditions.
出处
《数学物理学报（A辑）》
CSCD
北大核心
2008年第5期958-966,共9页
Acta Mathematica Scientia
基金
福建省自然科学基金(Z0511050)资助
