费秀海(1980- ),男,硕士研究生,研究方向为半群理论及代数理论。
本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代 数是两个等价的代数系统。
In this paper, we proved the lattice inplication algebra and bounded commutative BCK-algebra are two equational algebra systems, and MV-algebra and bounded commutative BCK-algebra are two equational algebra systems.
费秀海,胡方汉,张海芳,何天荣.格蕴涵代数、MV-代数和有界可换的BCK-代数[J].西昌学院学报(自然科学版),2008,(1):50-52.