参考文献/References:
[1] ISEKI K. An algebra related with a propositional calculus[J]. Proceedings of the Japan academy,1966,42:26-29.
[2]孟杰,刘用麟. BCK-代数引论[M]. 西安:陕西科学技术出版社,2001.
[3]HUANG Y S. BCI-algebra[M]. Beijing:Science Press,2006.
[4]杨闻起. BCI-代数与半群[M]. 北京:科学出版社,2011.
[5]谢祥云. 序半群引论[M]. 北京:科学出版社,2001.
[6]朱怡权. 蕴涵代数与BCK-代数[J]. 模糊系统与数学,2002,16(3):31-37.
[7]朱怡权. 关于正则余剩余格与对合BCK-格[J]. 模糊系统与数学,2010,24(1):23-28.