正蕴含BCK—代数的半群特征

正蕴含及具有(S)条件的BCK一代数是BCK一代数类的两个重要子类,本文利用伴随半群给出了这两类代数的完整刻划。     

关于具有条件(S)的BCK一代数的伴随半群

讨论了具有条件（S）的BCK一代数的剩余刻划，另外给出了具有条件（S）的BCK-代数的伴随半群的一些住质．     

关于具有条件（S）的BCK—代数的伴随半群

讨论了具有条件（S）的BCK－代数的剩余刻划，另外给出了具有条件（S）的BCK－代数的伴随半群的一些性质。     

有界可换BCK—代数的半群特征

讨论了ＢＣＫ－代数伴随半群中的剩余元素，给出具有条件（Ｓ）的ＢＣＫ－代数及可换ＢＣＫ－代数伴随半群的若干特征，说明具有条件（Ｓ）的可换ＢＣＫ－代数的伴随半群是上半格；有界可换ＢＣＫ－代数的伴随半群是格．     

弱Boole代数与具有条件(S)的关联BCK-代数

证明了具有条件(S)的关联BCK-代数(X;*,)о等价于弱Boole代数(X;∧,,о*)。     

关于几类代数系之间的关系

引入偏序结合交换剩余独异点和具有条件(S)的弱FI代数等概念,给出了它们的简化公理系.建立了偏序结合交换剩余独异点与具有条件(S)的结合BCI代数之间的对应关系,也建立了具有条件(S)的弱FI代数与偏序交换剩余独异点之间的关系.     

拟结合BCI—代数的若干特征

本文将给出拟结合BCI—代数成为P—半单BCI—代数的若干等价条件,并讨论结合BCI—代数与正蕴涵具有条件(S)的BCK—代数的半群特征。     

C(P')系对幺半群的刻画

设S是幺半群。借助环模理论的方法,在S-系范畴中引入了C(P')系。通过C(P')性质主要刻画了P(P')幺半群、周期幺半群的结构特征,进而推广了C(P)系的一些重要结果,对进一步研究正则性质在S-系中的作用具有重要意义。     

有条件(S)真BCI代数的若干性质

用BCK-代数扩张的方法研究了有条件（S）的BCI-代数的序关系,给出了：（1）有限BCK-代数B有条件（S）←→它的Iseki扩张是有条件（S）;（2）设I是真BCI-代数,B是I的BCK-部分,且日有限,E是I的P-半单部分,如果I=BULE且日作为BCK-代数有条件（S）,则,也具有条件（S）．     

BCK—代数的Fuzzy蕴涵理想(Ⅱ)

本文将在文[6]的基础上研究BCK—代数的Fuzzy蕴涵理想的一些结构特征.     

具有条件（S）的关联BCK—代数的理想之若干等价条件

研究了具有条件（S）的关联BCK－代数理想的条件问题，得到了十余个等价命题。