弱MTL-代数上的几种演绎系统及其商代数

首先,本文讨论了弱MTL-代数的性质,并给出弱MTL-代数的等价刻画;其次,将蕴涵演绎系统的概念引入到弱MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个等价条件;最后,讨论了弱MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在弱MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱MTL-代数。     

MTL命题逻辑系统中理论的结论和余零化子及其相互关系

本文在基本命题逻辑系统MTL中主要对理论的余零化子和结论的性质及其相互关系进行了研究。首先,在MTL系统中给出了理论的余零化子的概念,讨论了理论的余零化子的一些基本性质;其次,对MTL系统中理论的结论的性质进行了进一步研究;最后,讨论了MTL系统中理论的余零化子和结论之间的相互关系。     

MTL-代数上的广义赋值

本文研究了MTL-代数上的几类广义赋值,讨论了MTL-代数上广义赋值、态以及滤子之间的关系,获得了MTL-代数上广义赋值成为(正)关联广义赋值的等价刻画,并基于广义赋值构造的同余关系研究了MTL-代数的商结构.所得结果推广了基于三角模的模糊逻辑代数上广义赋值的相关理论,进一步丰富了基于三角模的模糊逻辑代数上概率测度的代数结论.     

可换逻辑的代数语义综述

主要介绍九种可换逻辑的语义系统,它们是布尔代数,MV-代数,BL-代数,MTL-代数,剩余格,Hoops,半Hoops,EQ-代数和相等代数,并给出相应的例子.进而结合作者的工作介绍了这些代数系统在概率、格序群和拓扑中的研究进展,同时给出如下看法:布尔代数是经典逻辑;从代数角度讨论了经典逻辑与模糊逻辑的区别.最后给出值...     

有限格蕴涵代数的零化子

研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。     

Witt型李超代数的极大根阶化子代数

设W(m,n)是特征p3的代数闭域上有限维Witt型李超代数.证明了W(m,n)的极大根阶化子代数一定是其极大Z-阶化子代数,从而刻画了W(m,n)的所有极大根阶化子代数.结果有助于理解Witt型李超代数W(m,n)的内在性质.     

形式演绎系统L~*中封闭理论的性质及其应用

本文在模糊命题演算的形式演绎系统L~*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L~*的基于公式集的完备性的证明.首先,在形式演绎系统L~*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L~*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的存在性;第三,对形式演绎系统L~*中的封闭理论确定的同余关系性质进行了讨论,在公式集中引入了强同余关系的概念,给出了封闭理论和强同余关系相互决定的方法;第四,在形式演绎系统L~*中证明了封闭理论型L~*-Lindenbaum代数是R_0代数,并且封闭理论型L~*-Lindenbaum代数是全序的当且仅当封闭理论是完全的;最后,利用完全封闭理论型L~*-Lindenbaum代数完成了形式系统L~*完备性的证明,并改进了原有的结果.     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R₀-代数,提出了基础R₀-代数的观点并讨论了其中的一些性质,在将L^*系统中的推演证明转化为相应的R₀-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L^*系统中的模糊演绎定理。     

不分明化PCK—代数

在BCK－代数中定义了不分明化子代数和不分明化理想的概念,讨论了它们的性质及彼此间的关系。     

可分解性与广义导算子

<正> 设是复数域C上的Banach空间.我们以记的对偶空间,记上所有有界线性算子的Banach代数.若S是拓扑空间的子集,S记S的闭包;S~o记S的内域;S~c记S的余集.若S,以S记S在S中的零化子;并若S S记S在中的前零化子.     

基础R0-代数的性质及在L*系统中的应用

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础Ro-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理.     

套代数子空间的端点

设d为套代数AlgN的子空间且包含AlgN的所有一秩算子．利用预零化子d⊥中一秩算子,我们给出了单位球d1中端点的刻画．     

布尔函数的代数免疫性与设计准则

本文讨论了布尔函数的重量与代数免疫性之间的关系,给出了判断布尔函数是否有低次零化子的一个充分条件,并对由几类传统的构造方法所获得的布尔函数的代数免疫性进行了分析.     

扭Smash双积

设H是双代数 ,A是H 双模代数 ,且为左H 余模余代数 .本文构造一种新的代数—扭Smash双积A×H ,推广了扭Smash积和Smash双积 .我们给出了扭Smash双积A×H作成双代数的充要条件 ,证明了当A ,H都是Hopf代数时 ,A×H 也是Hopf代数 ,利用映射系统刻画了双代数A×H的结构 ,并考虑了它的对偶情况 .     

限制Witt超代数偶部的可约极大阶化子代数

为了深入研究限制Witt超代数的偶部g在素特征域上的极大阶化子代数,利用g的结构特点构造出g的所有可约极大阶化子代数并给出相应的维数公式.     

格值命题逻辑系统中基于滤子的MP归结演绎

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.     

剩余格上的L滤子

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。     

极限与商群

基于代数系统理论,证明了函数极限相等是一个等价关系、同余关系.并证明了极限存在的一元函数集合A的代数系统(A,±)是一个群,商代数(A/R,±)是一个商群.     

完全分配格代数中秩一子代数的弱稠密性和套代数的一个特征

如果　Ａ是　Ｈｉｌｂｅｒｔ　空间上的完全分配格代数，　　那么Ａ中秩一算子生成的子代数在　Ａ中弱稠密，　当且仅当，Ａ在迹尖算子空间中的一次和二次预零化子的弱闭包是自反的；如果Ａ是套代数，那么ＬａｔＡ是极大套，当且仅当，Ａ的包含Ａ－的每个弱闭子空间是自反的，其中     

对偶扩张代数的Frobenius态射和固定点代数

设A是由箭图Q和关系I所确定的代数,D(A)是代数A的对偶扩张代数, 对应的箭图Q*和关系I*由Q和I决定．本文证明:带关系箭图(Q*,I*)的自同构由带关系箭图(Q,I)的自同构决定;D(A)的Frobenius态射由A的Frobenius态射完全决定;代数D(A)的固定点代数同构于相应的代数A的固定点代数与A°P的固定点代数的张量积,特别地,当Q为单的箭图时,代数D(A)的固定点代数同构于代数A的固定点代数的对偶扩张代数．