关于蕴涵BCK-代数的半群刻划

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

蕴涵BCK-代数与剩余半群

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

关于BCI－代数中右乘映射的稳定子

讨论了ＢＣＩ－代数伴随半群中元素σ的稳定子Ｓ（σ）的性质，以及Ｓ（σ）与Ｉｍσ和Ｋｅｒσ之间的关系．在正蕴涵ＢＣＫ－代数中，给出了Ｓ（σ）是理想的充要条件，即每个Ｓ（σ）是理想当且仅当Ｘ是蕴涵代数     

关于BCI—代数的拟自同态

讨论了ＢＣＩ－代数Ｘ的满足条件ｆ（ｘ＊ｙ）≤ｆ（ｘ）＊ｆ（ｙ）的自映射ｆ的性质，在Ｘ的伴随半群中给出了σ满足以上条件的一些充分必要条件．最后给出了ＢＣＫ－代数的半群特征和一个等价的公理体系．     

关于BCI—代数中右乘映射的稳定子

讨论了ＢＣＩ－代数随半群中元素σ的稳定子Ｓ（σ）的 性质，以及Ｓ（σ）与Ｉｍσ和Ｋｅｒσ之间的关系。即每个Ｓ（σ）是理想当且当Ｘ是蕴函代数。