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

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

多重正关联BCK－代数

引进了多重正关联ＢＣＫ－代数，并讨论了它的一些性质，从而使正关联ＢＣＫ－代数与ｎ级正关联ＢＣＫ－代数得到真正的推广。     

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

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

多重正关联BCK—代数的一个刻划

证明了多重强关联ＢＣＫ－代数与多重正关联ＢＣＫ－代数是一致的,从而给出多重正关联ＢＣＫ－代数的一个刻划,并利用这个刻划讨论了多重正关联ＢＣＫ－代数的几个性质。     

多重正关联BCK—代数

引进了多重正关联ＢＣＫ－代数，并讨论了它的一些性质，从而使上正关联ＢＣＫ－代数与ｎ级正关联ＢＣＫ－代数得到真正的推广。     

n级交换BCK—代数

本文引进n级交换BCK—代数的概念,它是交换BCK—代数概念的推广,讨论了它与几种特殊类型的BCK—代数之间的关系,证明当n≥2时,n级交换BCK—代数类不构成一个簇。     

关于BCK—代数簇的一个问题

对W.H.Cornish提出的问题"关联BCK-代数簇是不是2-基的"给出一个肯定的回答:(2,0)型代数〈X;*,0〉是关联(BCK-代数,当且仅当它满足(1)x*(0*y)=x;(2)(x*z)*(x*y)=((y*z)*(y*x)x(x*y)).所以(1)和(2)是关联BCK-代数簇的一个3变量的极小等式基.     

BCI—代数与BCK—代数的粘合（I）

构造了BCI-代数范畴中一种自然的粘合,先前许多作者定义的粘合是这种构造的特殊情况,这种构造的自然性表现在：任一BCI-代数与BCK-代数能以此法粘合;导出同态的粘合;保留两个代数的许多性质。     

蕴涵BCK-代数与剩余半群

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

极小Urysohn L-fuzy拓扑空间及其性质

引进了极小ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间的概念．利用Ｕｒｙｓｏｈｎ理想基证明了一个Ｌ－ｆｕｚｙ拓扑空间（ＬＸ，δ）是极小Ｕｒｙｓｏｈｎ空间当且仅当（ＬＸ，δ）是ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间且ＬＸ上的每一个具有唯一聚点的Ｕｒｙｓｏｈｎ理想基收敛；极小ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间是Ｕｒｙｓｏｈｎ闭空间，而且也是Ｌ－ｆｕｚｚｙ半正则空间．最后证明了ＵｒｙｓｏｈｎＬ－ｆｕｚｚｙ极小性是拓扑不变性质．     

有界蕴涵BCK-代数的伴随半群

引用偏序半群中剩余的概念,对有界蕴涵BCK－代数X的伴随半群M（X）作了详细讨论,证明了M（X）是一个有补格,模格,进一步证明了M（X）是一个Heyting代数。     

关于BCK代数的模型论性质

研究BCK代数的逻辑性质,对于形式化的BCK代数理论T,证明了在子模型和链连接下T是保存的;T既不具有完备性也不具有模型完备性,因此存在非构建的Skolem函数.另外,通过使用超滤子的概念以及所讨论的模糊理想的相应的性质,提出了超积BCK代数和BCK代数模糊子集的模糊超积.     

关于BCK—代数与立体格公理系统

建立了关联ＢＣＫ代数与立体格公理系统的联系．     

具有条件(S)的BCK-代数的分解

本文讨论了具有条件(S)的正关联BCK-代数关于。半群的分解问题,指出这种分解与一般理想分解是一致的,同时得到具有条件(S)的关联BCK-代数X的某些结构问题,如:X若有限,则|X|=2″;两个有限的具有条件(S)的关联BCK-代数同构当且仅当它们阶数相等。     

Heyting代数定义的简化

Heyting代数是一类重要的代数。我们指出Heyting代数定义中的某个条件可略去，从而简化定义。     

BCH-代数的首行商代数和不变子代数

给出一种求BCH-代数商代数的十分方便的方法,证明了0*x=0*yx*y∈B(X),并给出一个BCH-代数成为广义结合BCI-代数的两个条件.在BCH-代数中提出不变子代数的概念,证明了一个BCH-代数的两个不变子代数的交和并仍然是一个不变子代数,〈Q(X),∪,∩〉是一个分配格,其中Q(X)是一个BCH-代数中所有不变子代数做成的集合.     

Von Neumann代数中套子代数的双边模

讨论了因子ＶｏｎＮｅｕｍａｎｎ代数中套子代数的双边模的结构．证明了自反双边模的表达形式为｛Ｔ∈Ｍ：（Ｉ－φ（Ｐ））ＴＰ＝０，Ｐ∈β｝，其中φ是由套β到自身的序同态．研究了由套β到自身的序同态的结构，得到了因子ＶｏｎＮｅｕｍａｎｎ代数中套子代数的自反双边模Ｕφ的模换位是λＩ＋Ｕφ