非交换BR_0-代数与其上的Quantale

提出非交换BR0-代数的概念,然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R0-代数以及完备BR0-代数都是可换的Girard quantales的结论。

关于BR_0-代数弱完备性的证明

目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。

BR_0-代数中MT理想的扩展及素MT理想的存在性

BR0-代数是一类重要的基础逻辑代数,其中著名的MV代数和R0-代数均是BR0-代数的特款,因而对BR0-代数研究结果具有普遍的实用性.首先,通过BR0-代数中极大并-理想的存在性证明了BR0-代数中素并-理想的存在性;其次,利用对偶范畴的思想方法和MP滤子的特征,在BR0-代数中提出了MT理想,极大MT理想,素MT理想等概念,讨论了它们的基本性质及相互关系,并通过素并-理想构造性的证明了素MT理想的存在性;最后,在非退化的BR0-代数中证明了任何一个真MT理想可以扩展为一个极大素MT理想.本文的工作是对BR0-代数研究内容和方法的有益补充.

BR_(0^-)代数的表示定理及其简化形式

通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR_(0^-)代数的格蕴涵表示形式,使得BR_(0^-)代数从定义形式上更加符合逻辑代数的特征,突出了BR_(0^-)代数和其他逻辑代数的区别与联系,其次,结合MV-代数,R_(0^-)代数和BR_(0^-)代数的关系给出了MV-代数的BR_(0^-)代数表示形式以及BR_(0^-)代数的简化形式.

BR_0-代数三种理想的关系和性质

为了进一步研究BR0-代数的结构.首先在BR0-代数中给出了蕴涵理想,⊙-理想和∨-理想的定义;其次,讨论了BR0-代数中这三种理想的关系;最后,研究了BR0-代数中理想的一些性质,并证明了极大理想存在定理.

关于BR_0-代数的一些新性质

基于R0-代数(BR0-代数)对于模糊命题逻辑系统L*(BL*)的语义的重要性,对R0-代数和BR0-代数作更进一步的探讨,得到了它们的一些新的性质以及BR0-代数成为R0-代数的充分必要条件.这些结果将有助于对相应的形式逻辑系统与模糊推理的研究.

WBR_0-代数的∧-半格表示及其实例

对WBR0-代数进行了再研究。给出WBR0-代数的一种∧-半格结构表示的简化形式,并根据这一简化形式构造了一个非BR0-代数的WBR0-代数的实例,进一步说明了WBR0-代数提出的合理性。

DBR_0-代数及其弱化形式LBR_0-代数的性质

通过对BR0-代数无序表示形式的再研究,利用逻辑代数中交、并运算对偶的特点以及对偶范畴的思想,从经典代数的角度出发于一般集合上建立了一种对称形式的BR0-代数—DBR0-代数.证明了DBR0-代数是BR0-代数的又一新的无序表示形式,它将BR0-代数中的序关系蕴涵于基本运算·和→之中.根据DBR0-代数的形式提出了一种弱化的BR0-代数—LBR0-代数,并证明了LBR0-代数与正则FI代数是同一代数结构.

BR_0-代数与BCK-代数

讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论.

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

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

BR_0–代数的无序表示形式及WBR_0–代数性质

对BR0–逻辑代数进行了进一步研究,得到了BR0–逻辑代数的一种无序表示形式,使得BR0–代数中的序关系蕴涵于BR0–代数的基本运算⊕和→之中,并根据BR0–代数的无序表示形式提出了WBR0–代数理论,初步地讨论了其中的性质。

基于完备BR_0-代数的全蕴涵三I算法

研究了基础BR0-代数的性质和基于完备基础BR0-代数的全蕴涵三I算法,对—般蕴涵算子给出了三I算法解存在的—个充分条件,并将结果应用于R0-单位区间W,不但极大的简化了R0-单位区间W的R0-型α-三I算法结果的证明,而且使其证明过程与相应的模糊命题演算系统结合起来,说明了R0-型三I算法是与B(?)*系统相匹配的模糊推理方法．

BR_0-代数定义的简化形式

作者对基础R0-代数进行了研究,从定义的形式上对BR0-代数进行了简化,使之更加符合逻辑代数的基本特征,进一步体现了BR0-代数与其它逻辑代数之间的关系.

格上BR_0-代数结构的表示定理

利用模糊命题演绎系统BL*中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R0-代数结构的表达形式。

可换BR_0-代数在一般集合上的蕴涵表示形式

基于对可换BR_0-代数的定义和性质的深入研究和分析,放弃对格的要求,在一般集合上以蕴涵算子为基本算子给出了可换BR_0-代数的几种等价表示形式。进一步简化了可换BR_0-代数的定义形式,使其在形式上更加突出逻辑代数的一般特征及其与其它逻辑代数间的联系和区别。为揭示可换BR_0-代数的特征及其与其它逻辑代数间的关系提供了依据。

可换BR0-代数的一种简化表示形式

在对可换BR0-代数的定义和性质进行深入研究的基础上,给出了可换BR0-代数的一种新的表示形式,进一步简化了可换BR0-代数的定义,使其在形式上更加突出逻辑代数的特征及其与其它逻辑代数间的联系和区别,为继续揭示可换BR0-代数的特征及其与其它逻辑代数间的关系提供了一个有力依据.

BR_0-分配性及其推广

在BR0-代数结构中,BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。