关于交换BCK－链

本文在ＢＣＫ－代数中引进连通覆盖的概念，证明了Ｊｏｒｄａｎ－Ｈｏｌｄｅｒ－Ｄｅｄｅｋｉｎｄ定理与维数定理，并指出：一个有界交换ＢＣＫ－代数是Ａｒｔｉｎ的当且仅当它是Ｎｏｅｔｈｅｒ的。     

非可换正定关联BCK－代数

非可换正定关联ＢＣＫ－代数白根柱（内蒙古民族师范学院数学系）我们在文［３］中证明了正定关联ＢＣＫ－代数的Ｉｓｅｋｉ扩张是正定关联ＢＣＫ－代数，本文对关联ＢＣＫ－代数的Ｉｓｅｋｉ扩张进行探讨。为便于叙述先给出几个定义￣［１，２］。定义１设Ｘ＝＜Ｘ；０＞...     

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

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

拟左交错BCI-代数

研究了拟左交错BCI-代数,它比拟交错BCK-代数更具一般性。文中证明拟左交错BCI-代数具有散子代数性质,且可分解为熟知的拟交错BCK-代数与结合BCI-代数的(LX)并代数。     

Fuzzy蕴涵代数上的一致结构及诱导拓扑

为了探寻Fuzzy蕴涵代数的拓扑特征和揭示逻辑代数与拓扑学之间的内在联系，利用Fuzzy蕴涵代数上的同余关系概念和对有限交关闭的MP滤子族构造了一个一致结构，从而诱导出一个拓扑。讨论了该一致结构和相应诱导拓扑的性质。     

带门槛的模糊BCK-滤子

引入带门槛模糊BCK-滤子的概念,并讨论其性质。应用水平集方法,并综合有关(∈,∈∨q)模糊BCK-滤子的成果,给出了带门槛模糊BCK-滤子的定义及其等价条件,讨论了若干特殊类型的模糊BCK-滤子的相互关系。为研究模糊BCK-代数提供了一种新方法,充实了模糊BCK-滤子内容。     

蕴涵BCK－代数的伴随半群

本文证明了蕴涵ＢＣＫ－代数的伴随半群是一个上半格；进一步证明了有界蕴涵ＢＣＫ－代数的伴随半群是一个Ｂｏｏｌｅａｎ代数．     

具有条件（S）的BCK－代数运算的分配性

给出具有条件（Ｓ）的ＢＣＫ－代数关于运算“”的一些性质，证明了此类ＢＣＫ－代数对运算“＊”和“”分别关于“∨”及“∧”是可分配的，同时若Ｘ是正关联的，则ｘｙ＝ｘ∨ｙ．     

有界BCK—代数的一个简化公理系统

给出了有界BCK-代数一个新的公理系统,并证明了其中的各条公理是相互独立的.     

关于弱关联BCI—代数

本文证明了弱关联BCI—代数必是弱可换的,建立了弱关联BCI—代数的一个结构定理:一个BCI—代数X是弱关联的当且仅当存在一个关联BCK—代数Y和一个p—半单BCI—代数Z使得X≌Y×Z。并讨论了弱关联、弱可换和弱正关联BCI—代数的关系。