摘要: 我们证明了蕴涵BCK_代数的伴随半群是一个上半格 ;具有条件 (s)的蕴涵BCK_代数的伴随半群是一个广义布尔代数。更进一步证明了有界蕴涵BCK_代数的伴随半群是一个布尔代数.
中图分类号:
罗敏霞, 宋建社. 关于蕴涵BCK-代数的伴随半群[J]. 数学季刊, 2001, 16(4): 7-14.
LUO Min-xia, ONG Jian-she. On the Adjoint Semigroup of Implicative BCK-algebras[J]. Chinese Quarterly Journal of Mathematics, 2001, 16(4): 7-14.