关于BCK-代数的模糊理想和超积

使用超滤子的概念以及所讨论的模糊理想的相应性质,提出了超积BCK-代数和BCK-代数模糊子集的模糊超积．     

关于MV-代数的模糊理想和超积

在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明了该形式化理论是不完备的且形式也不完备;本文进一步建立MV-代数的模糊理想及超积概念,并且探讨它们的基本性质.     

关于MV-代数的逻辑性质

MV-代数是C．C．Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的。它通过逻辑的观点,更进一步观察MV-代数的模型论性质。在本文中,我们研究了MV-代数的逻辑性质,得出形式化的MV-代数理论在子模、同态链的并之下有所保留;我们也证明了这个形式化的理论既不完备也不模型完备。     

犹豫模糊软超BCK代数

把犹豫模糊软集与超BCK代数相结合，引入犹豫模糊软超BCK理想、犹豫模糊软弱超BCK理想、犹豫模糊软s-弱超BCK理想和犹豫模糊软强超BCK理想的概念，研究它们的性质和关系.讨论了犹豫模糊软(弱)超BCK理想的特征，分别给出犹豫模糊软弱超BCK理想是犹豫模糊软s-弱超BCK理想的条件以及犹豫模糊软集是犹豫模糊软强超BCK理想的条件.     

完备集环上的Stone代数

得到了如下结果：①完备集环L是Stone代数当且仅当L的每个完备素滤子仅包含在L的一个极大滤子中；②完备集环L是Stone代数当且仅当L是直积不可约Stone代数的直积；③完备集环L是Lukasiewicz三值代数当且仅当L同构到一个幂集格．     

关于对合BCK代数

证明了对合BCK代数与正则FI-代数等价。在对合BCK代数中引入分配性,讨论了分配对合BCK代数的若干性质,证明了分配对合BCK代数与Boole代数是相互等价的代数系统。     

Frobenius代数的Segre积

根据Segre积的定义,证明了两个Frobenius代数的Segre积仍然是Frobenius代数,并在此基础上研究了两个Frobenius代数Segre积对应的扭超势和Nakayama自同构.     

亚BCI-代数直觉模糊理想的直积

讨论了亚BCI代数直觉模糊理想直积的性质。证明了亚BCI代数直觉模糊理想的直积仍然是直觉模糊理想。给出了直觉模糊理想的充要条件,拓展了亚BCI代数的研究内容和方法。     

IS-代数的特征数

引入了IS-代数的特征数的概念,讨论了它的性质;给出了IS-代数的特征数与环的特征数之间的关系,并用特征数刻画了无零因子、BCK和拟结合的IS-代数.     

ΕQ-代数上的模糊前滤子

模糊化方法可以有效简化代数结构的复杂性。因而文中应用代数系统模糊化方法和模糊集水平截集方法,研究EQ-代数的模糊前滤子的性质及其生成方法。进而得到以下结果:引入了EQ-代数模糊前滤子和素模糊前滤子的概念。分别给出了EQ-代数模糊前滤子、素模糊前滤子与前滤子、素前滤子之间的关系。给出了EQ-代数上由一个模糊子集生成一个模糊前滤子的公式。最后,得到了一个EQ-代数上全体模糊前滤子的集合构成一个完备模格。     

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

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

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

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

BCK-代数的α-Fuzzy子代数

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

模糊带算 BCK 代数的乘积及其性质

在ＢＣＫ代数的同态同构基本定理基础上,引进了乘积并给出了它的性质,由此又进一步得到了关于模糊带算ＢＣＫ代数乘积的同构定理,从而使模糊带算ＢＣＫ代数的讨论更加深入。     

对合BCK—代数

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

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

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

BCI——代数的对合元

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

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

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

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

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