摘要
本文研究了拟可换BCK-代数和BCI-代数的标准型问题,得到一组充要条件,规范和简化了拟可换BCK-代数和BCI-代数的定义,给出了显示拟可换BCK-代数和BCI-代数结构差别的拟可换特征.
This paper studies the normalized form of quasi-commutation BCK-algebra and BCI-algebra, a set of sufficient-necessary condition is given. We normalize, and simplify the definition of quasi-commutation BCK-and BCI-algebra. Quasi-commutation characterestic showing the structural distinction between BCK-algebra and BCI-algebra is also given.
出处
《四川师范大学学报（自然科学版）》
CAS
CSCD
1992年第1期1-6,共6页
Journal of Sichuan Normal University（Natural Science）
关键词
拟可换性
型数
拟可换特征数
标准型
quasi-commutation property
type number
quasi-commutation characteristic number
normalized form
