Fuzzy蕴涵代数

本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。     

Fuzzy蕴涵代数的MP滤子

给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame.     

Fuzzy蕴涵代数的MP理想与正规MP理想

在Fuzzy蕴涵代数(简称FI代数)上引入了MP理想与正规MP理想的概念并给出了它们的等价刻画;探讨了FI代数的MP理想、偏序理想和正规MP理想间的多种关系, 证明了一个正则FI代数是可交换FI代数当且仅当它的每个MP理想都是正规理想,也当且仅当{0}是正规MP理想.     

FI代数的新型软MP理想

将软集概念及其相关运算运用到FI代数问题的研究。首先,提出了FI代数新型软MP理想的概念;其次利用软集的交(限制交)、且等运算,研究了FI代数的软MP理想的基本性质,并运用对偶软集的方法给出了FI代数软MP理想的等价刻画;最后讨论了FI代数的软MP理想的同态像和原像的性质。     

FI代数同构于一族全序FI代数的直积的子代数的条件

解决了王国俊教授提出的关于FI代数的嵌入问题,并进一步研究了FI代数与一族全序FI代数的直积的子代数同构的条件.主要结果是:交换FI代数可同构嵌入一族全序交换FI代数的直积;分配FI代数可同构嵌入一族全序分配FI代数的直积.     

FI代数的区间值模糊软滤子

运用区间值模糊软集研究FI代数的滤子问题,引入了FI代数的区间值模糊软滤子概念,给出了它的若干代数性质。定义了区间值模糊软FI-同态(同构)概念,证明了FI代数的一个区间值模糊软滤子在区间值模糊软FI-同构(同态)下的像(原像)仍为区间值模糊软滤子的结论。     

Fuzzy蕴涵代数的素模糊MP滤子

本文的目的是对Fuzzy蕴涵代数(简称FI代数)中的模糊MP滤子理论作进踊步深入研究。首先,引入素模糊MP滤子的概念并研究其性质,建立并证明了并半格FI代数的素模糊MP滤子定理;其次,在FI代数的素模糊MP滤子全体之集PFFMP(X)上构造了一个拓扑T,证明了拓扑空间(PFFMP(X),T)是T0空间。     

BCI-代数与弱FI-代数的对偶关系

讨论了BCI-代数与弱FI代数的关系,主要给出了如下结论:BCI-代数与弱FI代数相互对偶,p-半单BCI-代数与正则弱FI-代数相互对偶,BCI-代数的加法半群与弱FI-代数的加法半群一致,BCI-代数的理想与弱FI代数的滤子等价。     

Noether-FI代数与Artin-FI代数

以滤子概念为工具研究FI代数的结构问题.基于MP滤子升链族和降链族引入了Noether-FI代数与Artin-FI代数的概念,并利用MP滤子和模糊MP滤子的性质获得了Noether-FI代数与Artin-FI代数若干等价刻画.为进一步深入研究FI代数提供了一个有力工具.     

Fuzzy蕴涵代数的素MP滤子

对Fuzzy蕴涵代数(简称FI代数)的滤子理论作深入研究.首先对由非空集合生成的MP滤子的性质作进一步探讨;然后引入素MP滤子的概念并讨论其基本性质,给出了素MP滤子的若干等价刻画,证明了并半格FI代数的素MP滤子定理;最后利用素MP滤子概念时满足条件(S)的并半格FI代数的MP滤子格((L)MP(X),(∩))中的素元进行刻画.     

蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数     

分配的Fuzzy蕴涵代数

给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质，接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的，从而得到Boole代数的两个等价形式，并且证明了分配的Fuzzy蕴涵代数是BL代数，最后得到了FI代数成为Boole代数的几个充要条件。     

关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．     

连通微分分次代数的整体维数

首次把有理同伦论中的同伦不变量-锥长度(cone length)引入到微分分次(简记为DG)同调代数中,定义了连通DG代数上DG模的锥长度.连通DG代数A的左(右)整体维数定义为所有DGA-模(Aop-模)的锥长度的上确界.在一些特殊情形下,发现连通.DG代数A的左(右)整体维数与H(A)的整体维数有着密切的关系.任意一个连通分次代数,如果将它视为微分为O的连通DG代数,其左(右)整体维数与其作为连通分次代数的整体维数是一致的.因此该定义是连通分次代数整体维数的一种推广形式.证明A的整体维数足三角范畴D(A)以及Dc(A)的维数的一个上界.当A是正则DG代数时,给出了A的左(右)整体维数的一个有限上界.     

图代数(Ⅰ)

设F是一个域。本文对于任意一个简单无向图G,定义了一个F代数R_G,F(称为G在F上的图代数),证明了图同构的充要条件是相应的图代数(作为F代数)同构。我们还讨论了上述定义及结论的若干推广。     

模糊蕴涵格理论

模糊蕴涵代数,在文献中简称为FI代数,最初由吴望名先生于1990年提出,至今已经有许多研究成果.文中综述有关FI代数的概念,性质等主要研究工作,同时给出这类代数的一些新的性质.重点强调构成格结构的FI代数,称之为模糊蕴涵格,简称为FI格.这类代数结构与模糊逻辑中几个重要的代数系统具有紧密的联系,文中将揭示这些联系,一些重要的模糊逻辑代数系统都是FI格类的子类.另外,所有正则FI格构成代数簇,即等式代数类.这个代数簇将在模糊逻辑与近似推理中发挥重要的作用.     

用quiver构造拟三角Hopf代数

利用quiver方法确定了一个广义Taft代数具有拟三角Hopf结构当且仅当它是Sweedler 4维Hopf代数．用不同于文[15]的方法,对任意的正整数n,构造出一类拟三角Hopf代数H(n)．     

剩余格与FI代数的可嵌入性

给出剩余格可嵌入于全序剩余格的乘积的充要条件。还给出定义在格上的FI代数可嵌入于全序FI代数的乘积的充要条件。     

广义分段Koszul代数

广义分段Koszul代数(简称为K_p代数)一般是一类二次代数,其平凡模允许有非单纯的投射分解.利用Yoneda-Ext代数E(A)给出了分次代数A是K_p代数的一个充分条件,同时讨论了K_p代数的商代数是否继承K_p性质.     

C-代数的张量积

利用Vowden引理及C-范扩张的办法,证明有限个C-代数的代数张量积上任意的C-范必是Cross-范,引入可结合C-范的概念,给出它的判别准则,由此证明:最大和最小的C-范是可结合的,将这结果应用到具有性质(T)的C-代数(这类C-代数为Takesaki引入,Lance称之为核C-代数),可以证明:具有性质(T)的C-代数的张量积仍然具有性质(T)。