R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

可交换弱R0代数

简化了弱R0代数及R0代数的定义。在弱R0代数的基础上，提出可交换弱R0代数，并讨论了它的一些新的性质。探究了可交换弱岛代数与格蕴涵代数之间的关系，以及与MV代数之间的关系。     

R_0代数,MV代数的等价刻画

通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画.     

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的定义；2）给出了次BL代数的另外两种等价形式，进一步揭示了次BL代数与其他逻辑代数之问的关系；3）证明了一种强次BL代数与BR0代数之间的等价关系。并以次BL代数为基础蛤出了BR0代数和R0代数的简化定义，改进了已有的结果。     

R0-代数的理想与其定义的简化

为了建立R0-代数的理想和同余之间的关系和简化它的原始定义，首先给出了R0-代数的若干基本性质，然后证明了R0-代数的理想之集与R0-代数上的同余关系之间，以及R0-代数的特殊理想之集与商R0-代数的理想之集之间分别存在一一对应关系．结果表明，R0-代数的原始定义中的逆序对合对应与分配性是不独立的，从而简化了R0-代数的定义．     

非全序R0代数的存在性及其构造

通过考察非全序R0代数的序结构,给出了中点的定义,并利用中点给出R0代数的一个分划,同时证明了五元和七元非全序R0代数不存在,以及n元(n>7)非全序R0代数的存在性,并推广到无限元的情形,得到了构造可去(加)中点的非全序R0代数的两种方法.     

BR_0代数与FI代数的关系

研究了模糊命题演算形式演绎系统L*和与之在语义上相匹配的R0代数,以及基础R0代数和基础L*系统,提出了BR0代数的简化形式的概念,讨论了BR0代数与FI代数的相互关系.     

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

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

R0代数的一种新型商代数

目的在R0代数中构造一种新型商代数。方法利用素滤子在R0代数中定义等价关系,得到R0代数的商代数。结果这种商代数是有界分配格。结论这种商代数成为R0代数的充分条件是对其中任意的a都有■a∨a=1。     

R_0代数的直觉模糊子代数

将直觉模糊集与R0代数相结合,定义了R0代数的直觉模糊子代数的概念。讨论了R0代数的直觉模糊子代数与R0子代数之间的关系;证明了R0代数的直觉模糊子代数的交是R0代数的直觉模糊子代数;定义了R0代数的直觉模糊子代数的像与逆像,证明了R0代数的直觉模糊子代数的同态像和同态逆像也是R0代数的直觉模糊子代数。研究结果进一步丰富和完善了R0代数的模糊理论。     

R0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

R_0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间（M,TM）,给出了导集、闭包以及内部的计算公式。证明了（M,TM）是连通的、覆盖紧的且满足第一可数性公理;（M,TM）满足第二可数性公理当且仅当主滤子之集是可数集,（M,TM）不是T1的,不是T2的,也不是正则的或正规的;（M,TM）是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

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

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

R0代数中的真布尔元

通过研究R0代数中一类特殊的元——真布尔元的性质，给出了一些特别的R0等式，并据此得到了真布尔元对R0代数分类的充要条件，为格上研究R0代数开辟了一个新的方向。     

SWBR0-代数的蕴涵理想及其诱导的商代数

根据WBR₀-代数的无序特征, 通过将WBR₀-代数的正则性弱化, 建立了SWBR₀-代数, 提出了SWBR₀-代数蕴涵理想的概念, 讨论了蕴涵理想与同余关系之间的联系, 并通过蕴涵理想定义了SWBR₀-代数上的商代数, 得到了SWBR₀-代数的同态基本定理.     

6元非链的R0-代数的构造

证明了非链的有限R0-代数至少含有两个不同的对偶原子;在同构的意义下,非链的6元R0-代数有且仅有一个,并具体给出了它的构造,即一个2值的和一个3值的Lukas iew icz蕴涵代数的直积.     

基础R0-代数的一组有趣性质及其证明

在研究基础R0-代数的基础上.得到了基础R0-代数的一组有趣性质,进而给出了严格化的简洁证明.同时指出了这组性质顺序的相对性,以凸显其应用的广泛性.     

模糊推理的反向三I约束算法

提出了基于蕴涵算子R0的反向三I约束算法的理论,分别得到了α-反向三I约束算法的FMP的下确界与FMT的上确界的一般计算公式.     

乘积R0-代数上的若干映射性质

在乘积Ｒ０－代数上引入了若干有用映射，并利用Ｒ０－同态及Ｒ０－同构方法，进上步研究乘积Ｒ０－代数及其子代数之间的相互关系，得到Ｗ＾ｎ的一些基本Ｒ０－子代数，这些结果充实了Ｒ０－代数的研究且在ｎ值非线性序逻辑系统的语义理论的研究中有一定的使用价值。     

BR0-代数定义的简化形式

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