摘要
给出了蕴涵BCK代数的伴随半群作为剩余半群时的若干特征,并从剩余半群的角度对蕴涵BCK代数进行了刻划.
The adjoint semigroup of implicative BCK-algebra is a residuled semigroups. Some characterizations of such residuuled semigroup are given.
出处
《西南师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2003年第6期856-858,共3页
Journal of Southwest China Normal University(Natural Science Edition)