摘要
证明了格蕴涵代数与有界可换 B C K代数是两类相互等价的代数系统,借此得到了一类 B C
In this paper, we prove that lattice implication algebras are equivalent to bounded commutative BCK algebras and obtaine a structure theorem of BCK algebras by the equivalent.
出处
《纯粹数学与应用数学》
CSCD
1999年第3期22-26,共5页
Pure and Applied Mathematics
基金
湖北省教委自然科学基金