带算BCK—代数分解理论初步

在BCK—代数中引入算子的概念,并且就带算BCK—代数证明了几个同构定理。本文利用这些结果建立了带算BCK—代数的带算理想列的基本理论,初步探讨了带算BCK—代数的直积分解理论,它为我们讨论一类与BCK—代数及其同态紧密相关的代数结构提供了方便。     

自反模糊滤子与自反模糊序理想

引入ＢＣＫ－代数Ｘ的自反模糊滤子及ＢＣＫ－代数伴随半群Ｍ（Ｘ）的自反模糊序理想的概念,由自反模糊滤子可诱导一个自反模糊序理想,反过来,由自反模糊序理想也可诱导一个自反模糊滤子,最后证明了ＢＣＫ－代数的所有自反模糊滤子的集合与ＢＣＫ－代数伴随半群Ｍ（Ｘ）的所有自反模糊序理想的集合之间存在一一对应。     

蕴涵BCK-代数与剩余半群

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

坡代数上的模糊软子坡

借助模糊软集的概念, 在坡代数上定义了模糊软子坡, 并对其性质进行研究. 此外, 定义了坡代数上模糊软子坡间的模糊软同态和模糊软同构, 给出了坡代数上模糊软子坡的同构像定理和同态逆像定理, 并证明了坡代数上模糊软子坡范畴是坡代数范畴上的拓扑范畴.     

关于交换BCK－链

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

一类BCI—代数的理想

利用ＢＣＩ－代数的枝的若干性质，得到了ＢＣＩ－代数的ＢＣＫ－部分的子集为ＢＣＩ－代数的理想的一个定理。     

模糊域上的模糊代数的同构定理

引进了模糊子代数及模糊商代数的概念 ,并证明了模糊域上的模糊代数的同构定理     

模糊域上的模糊代数的若干注记

给出了模糊域上的模糊代数的特征刻画、表示定理及同构扩张定理,并对其进行了证明.     

L^∞-Banach代数的内理想的刻画及同构定理

首先给出了具有单位元的 Ｌ∞－ Ｂａｎａｃｈ 代数的内理想的刻画,由此推广了［１］ 定理２ ．２ ．然后我们给出了具有收缩逼近单位元的 Ｌ∞ － Ｂａｎａｃｈ 代数之间的一个同构定理．作为推论,我们证明了：两个 Ｃ 代数之间的完全等距映射是同构的．     

模糊图的乘积运算及相关分解

定义了两个模糊图的字典乘积并给出了一个模糊图能分解成两个模糊图的强乘积、直接乘积、字典乘积的充分条件或必要条件。 证明了两个模糊图的偏模糊子图的强乘积、直接乘积、字典乘积是这两个模糊图的强乘积、直接乘积、字典乘积的偏模糊子图。 最后给出了与这三种乘积运算相关的同构定理。     

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

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

关于BCK代数的模型论性质

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

BCK-代数的α-Fuzzy子代数

作者引进了BCK-代数的α-fuzzy子代数、α-fuzzy理想、α-fuzzy约化左理想等概念，讨论了它们的一些性质，改进并推广了现知的一些重要结果。     

对合BCK—代数

本文给出对合BCK—代数的概念,系统地讨论了它的有关性质,并得到了下面的结果: 1、非交换对合BCK—代数的阶数至少为4; 2、在同构意义下,四阶非交换对合BCK—代数有且只有一个。     

BCI——代数的对合元

本文引进了BCI—代数的对合元及对合集的概念,并讨论了它们的一些基本性质,说明了BCK—代数与BCI—代数的本质差别。     

周期BCK代数的极大元扩张与主理想

引入ＢＣＫ代数的一种新的扩张方法－极大元扩张；并着重刻划周期ＢＣＫ代数与其极大元扩张关于主理想的一些特有性质。     

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

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

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

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

零对称BZ-代数元素周期的性质

在BZ 代数中引入元素周期的概念 ,并讨论了零对称BZ 代数元素周期的重要性质 .研究表明 ,零对称BZ 代数子系统是一类比BCI/BCK、BCC 代数弱的逻辑代数系统