摘要：讨论了基础模糊命题演算形式演绎系统L＊相匹配的基础R0-代数与一类重要的BCI/BCK-代数间的相互关系,给出它们之间的等价性定理.分析了基础R0-代数与一类重要的BCI/BCK-代数间的区别与联系,得到一些十分有趣的性质.

关键词：bci 等价性定理 

单位：商洛学院数学与计算科学系 陕西商洛726000