...

给出了蕴涵ＢＣＫ－代数的伴随半群作为剩余半群的若干特征，从半群的角度对这类ＢＣＫ－代数予以刻画，说明其伴随半群Ｍ（Ｘ）关于剩余运算“∶”作成一个蕴涵......

推广了蕴涵ＢＣＫ－代数的概念，给出了广义蕴涵ＢＣＩ－代数的概念和性质，说明了广义蕴涵ＢＣＩ－代数是诣零ＢＣＩ－代数。最后讨论了广义蕴涵的ＢＣＩ－代数的结构。......

我们证明了蕴涵BCK_代数的伴随半群是一个上半格；具有条 件(s)的蕴涵BCK_代数的伴随半群是一个广义布尔代数。更进一步证明了有界蕴......

给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征, 并从剩余半群的角度对蕴涵BCK-代数进行了刻划.......