优BCI—代数的可解性

本文在优BCI—代数中引进了可解的概念,证明了优BCI—代数的一个可解性定理,并给出了优正则的BCI—代数可解的一个充要条件。     

正则BCK—代数

本文给出了正则元、正则BCK—代数的概念。得到了如下的主要结果:〈X;*,0〉是一个正则BCK—代数当且仅当■x∈X,■y∈X,y≠x,若 x*(y*x)=0,则x=0。     

Hilbert——代数的右拟交换元

引入Ｈｉｌｂｅｒｔ－代数的右拟交换元的概念，研究右拟交换元及正则Ｈｉｌｂｅｒｔ－代数的性质。     

正则FI代数及其伴随代数

引入了正则FI代数伴随代数的概念，研究了该伴随代数与Boolean代数的联系；同时讨论了正则FI代数许多有趣的性质。     

关于弱正则—N(2，2，0)代数的若干结果

引入了弱正则*—N(2，2，0)代数的概念，着重探讨了弱正则*—N(2，2，0)代数的投射集P(S)及Q(S)的性质，得到了投射集构成群的一个必要条件；证明了在弱正则*—N(2，2，0)代数中，每一个幂等元集都是投射集。     

同余可换的MS-代数

MS—代数是从De Morgen代数和Stone代数的共同属性出发抽象而成的一种代数．本文利用MS—代数的对偶空间理论给出了同余可换的MS—代数的一个重要性质．     

A∞-代数与三维AS正则代数

利用A∞-代数来讨论Artin-Schelter(AS)正则代数的分类．设A是整体维数为3的连通分次Noetherian代数,则A是AS正则代数当且仅当它的Yoneda代数ExtA(k,k)是Frobenius代数．设E是与ExtA(k,k)有相同的双分次结构的Frobenius代数．首先对E的代数结构及A∞-结构作分类,然后利用这个A∞-结构的分类及已知的一个对应关系,得到A∞-代数E的“对应”代数,从而为三维AS正则代数的A∞-分类作好了准备．     

关于CFI代数

对可交换FI代数(简称CFI代数)的特征进行系统研究,获得(正则)FI代数和CFI代数的一些新的性质;探讨CFI代数与HFI代数、格蕴涵代数及R0代数等逻辑代数之间的关系,得到CFI代数成为正则HFI代数的一个充分必要条件.     

BCK（BCI）—代数中的L—fuzzy 理想

研究BCK（BCI）－代数中的L-fuzzy理想,其中L为至少含有两个元素的格,研究了BCK（BCI）－代数中的L－fuzzy理想及其相应的截理想之间的关系,对BCI－代数,引入了L－fuzzy闭理想,L-fuzzy正则理想,在任一p-半单PCI－代数中,L-fuzzy闭理想一定是L－fuzzy正则理想,对BCK－代数,引入了L－fuzzy关联理想的概念,得到了它的一些等价特性,并用L－fuzzy关联理想刻划了关联BCI－代数。     

正则HFI代数与格H蕴涵代数的关系

证明了正则ＨＦＩ代数类与格Ｈ蕴涵代数类是范畴等价的．     

WBR_0-代数的正则性及与其他逻辑代数的关系

通过对正则剩余格和WBR0-代数的深入研究,进一步明确了WBR0-代数与其他逻辑代数之间的关系。主要结果有：（1）证明了正则剩余格与WBR0-代数是相同的代数结构;（2）通过联络图表列举了WBR0-代数与其他经典逻辑代数之间的联系,体现了WBR0-代数在逻辑代数中的地位与作用;（3）通过构造WBR0-代数的实例说明WBR0-代数与其他逻辑代数之间的区别。     

关于弱正则＊—N（2，2，0）代数的若干结果

引入了弱正则＊－N（2，2，0）代数的概念，着重探讨了弱正则＊－N（2，2，0）代数的投射集P（S）及Q^＊（S）的性质，得到了投射集构成群的一个必要条件，证明了在弱正则＊－N（2，2，0）代数中，每一个幂等元集都是投射集。     

关于BCI—代数和BCH—代数并代数的一些注记

我们知道,BCK-代数有并代数的概念(见[1]),但一族BCK-代数的并代数的概念不可推广到BCI-代数(见[1]).1984年李欣曾定义了一个BCK-代数和一个BCI-代数的(LX)并代数。自然我们应当考虑一般性的问题:可否(用一种统一的方法)对任意两个BCI-代数定义其并代数?我们先作下列定义:     

BCI—代数的并代数

本文主要讨论了真BCI－代数的“不相交”的交代数，文中给出了BCI－代数族可并的条件，并且对结合BCI－代数作了进一步地讨论。     

正则与LR—BCI—代数

在作者已研究的正则BCK—代数结果的基础上,本文继续讨论正则BCI—代数,并进一步引进LR—BCI—代数的概念,得到了一些有意义的结果。定理1 设是BCI—代数簇{:α∈I}的积代数,那么,X正则的充分必要条件是每一个X_α都是正则的。定理2 设X是BCI—代数.如果X是正则的,那么,X的任意商代数也是正则的。定理3 每一个可解优BCI—代数都是正则的。     

正则FI-代数上的伴随算子

研究了正则FI 代数的性质,并证明了对于正则FI 代数(L,→,0)的蕴涵算子→,存在惟一满足条件(a b)→c=a→(b→c)的算子 ,使得( ,→)成为伴随对.所得结果在一定程度上反映了正则剩余格内部结构的特征.     

正规BZ—代数

引入正规BZ－代数的概念，证明了正规BZ－代数一定是零对称BZ－代数、拟结合BZ－代数一定是正规BZ－代数，并举例说明了其逆均不成立。同时还讨论了正规BZ－代数与分支有关的若干性质。     

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.     

BEI—代数

主要是引进了广义结合的ＢＥＩ－代数概念。讨论了它的一些性质，进而论证ＢＥＩ－代数是一类比环更广的代数系统，阐明开展ＢＥＩ－代数与ＢＥＩ－代数研究工作的背景及理论意义。     

WBR0-代数的正则性及与其他逻辑代数的关系

 通过对正则剩余格和WBR₀-代数的深入研究, 进一步明确了WBR₀-代数与其他逻辑代数之间的关系。 主要结果有: (1)证明了正则剩余格与WBR₀-代数是相同的代数结构;(2)通过联络图表列举了WBR₀-代数与其他经典逻辑代数之间的联系,体现了WBR₀-代数在逻辑代数中的地位与作用;(3)通过构造WBR₀-代数的实例说明WBR₀-代数与其他逻辑代数之间的区别。