区间集上的格蕴涵代数、FI-代数、MV-代数的研究

区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、FI-代数和MV-代数3种不同的代数系统是等价的。

FI-代数的多种Fuzzy滤子

对FI-代数的各种滤子概念进行fuzzy化,引入fuzzy滤子、fuzzy P-滤子、fuzzy Q-滤子和fuzzy C-滤子等概念并给出它们的若干等价刻画。证明了:(1)每个fuzzy Q-滤子都是fuzzy P-滤子;(2)一个fuzzy集成为fuzzy Q-滤子当且仅当它既是fuzzy P-滤子又是fuzzy C-滤子。还给出了多种滤子的扩张定理以及具体的实例和反例。

基于FI-代数的一个逻辑系统

建立一种基于FI-代数的模糊命题演算的形式演绎系统,并讨论了该系统语义的完备性。其目的在于使通常的众多模糊推理系统能够纳入该逻辑系统之中,以便在一个更加广泛的代数和逻辑框架下来研究模糊推理的逻辑基础问题。

FI-C_(11)-模

作为FI-扩张模和C11-模的推广,引入了FI-C11-模(如果M的任意全不变子模存在一个补是M的直和因子),讨论了该模的基本性质.例如:FI-C-模的全不变子模仍是FI-C-模;FI-C-模的任意直和仍是FI-C-模.

泛蕴涵代数与FI-代数

建立了一个新的蕴涵算子RZh,证明了利用RZh 蕴涵区间上的模糊赋值 ,可将任一泛蕴涵代数“等值”地转化为一个FI

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

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

基于FI-代数的一阶模糊谓词演算逻辑系统

在模糊命题逻辑系统FMI的基础上,建立了一个基于FI-代数的一阶模糊谓词演算形式系统。主要给出了该系统的一些语义概念,并基于安全的M-解释研究了其可靠性。这些结果将有利于在一个更加广泛的逻辑框架下来研究模糊推理的逻辑基础问题。

FI-内射复形

复形范畴中的同调理论是由Cartan和Eilenberg于20世纪50年代引入的,它受到众多学者的关注。由于模的复形可以看成模的推广,因而在复形范畴中也可以开展同调理论的研究。作为FI-内射模的推广,本文定义了FI-内射复形,给出了FI-内射复形与其各个层次上的模之间的联系,利用复形的覆盖刻画了FI-内射复形,最后讨论了FI-内射复形与内射复形之间的关系。

正则FI-代数的刻画及成为Boole代数的条件

正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代数的两个公理组条件更少的刻画定理,简化了正则FI-代数的定义形式。在正则FI-代数中引入蕴涵分配性,探讨了蕴涵分配正则FI-代数的若干性质,证明了蕴涵分配正则FI-代数与Boole代数是相互等价的代数系统,给出了Boole代数的一种新的刻画,使其在形式上更接近于二值逻辑代数。

关于弱FI-代数和弱MV-代数的一点注记

证明了弱 FI-代数与 BCI-代数是互相等价的 .因而 ,可以充分利用 BCI-代数的理论来研究弱 FI-代数 .此外 ,还证明了弱 MV-代数与

正则FI-代数与WBR_0-代数的关系

对正则FI-代数和WBR0-代数进行了研究,讨论了两者之间的关系.改进了正则FI-代数原有的定义;证明了WBR0-代数一定是正则FI-代数;通过实例说明正则FI-代数不一定是WBR0-代数;证明了正则FI-代数是WBR0-代数的一个充分条件是:((a→0)→b)→c=((a→c)→((b→c)→0))→0.

关于Gorenstein FI-内射模

引入了Gorenstein FI-内射模,它是介于内射模和Gorenstein内射模之间的一种特殊模类.讨论了Gorenstein FI-内射模的诸多性质,给出了Gorenstein FI-内射模是内射模的一个充分条件,并用Gorenstein FI-内射模刻画了半遗传环.最后,定义了Gorenstein FI-内射维数,给出了Gorenstein FI-内射(预)包存在的一个充分条件.

FI-广义扩张模

作为FI-扩张模和广义扩张模的真推广,引入了(强)FI-广义扩张模的概念并讨论了这些模的基本性质.

BR_0-代数的简化及FI-代数的关系

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩余格之间关系的基础上,讨论了BR0-代数与FI-代数的相互关系.

QFI-代数及其Q滤子

引入了 QFI-代数概念 ,并讨论了它们的几个重要性质。

n-Gorenstein FI-内射模

设n是任意取定的正整数.引入了n-Gorenstein FI-内射模的概念,并讨论了其基本性质;利用n-Gorenstein FI-内射右R-模给出了右半遗传环的一个等价刻画;证明了n-Gorenstein FI-内射维数不超过n的右R-模有特殊的n-Gorenstein FI-内射预包络.

Gorenstein FI-内射复形的性质

本文将Gorenstein FI-内射模推广到复形范畴。首先引入Gorenstein FI-内射复形的概念。其次研究Gorenstein FI-内射复形的一些性质。最后证明复形X是Gorenstein FI-内射复形,则每个Xn是Gorenstein FI-内射模,且对任意FI-内射复形I,复形Hom(I;X) 正合。

Gorenstein强FI-内射模

引入强FI-内射模和Gorenstein强FI-内射模,讨论了这两类模的同调性质,证明了(⊥1SFI(R),SFI(R))是遗传完备的余挠对。

形式三角矩阵环上的Gorenstein FI-内射模

本文研究了形式三角矩阵环上的Gorenstein FI- 内射模。设是形式三角矩阵环,其中A,B 是环,U 是(B,A)-双模。在一定条件下证明了若是Gorenstein FI-内射左T-模,则M2是Gorenstein FI-内射左B-模,kerφM~是Gorenstein FI- 内射左A- 模,并且φM~是满同态。