基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

R_0代数的∨-半格蕴涵表示形式及其简化

通过探究R0代数公理条件的内在联系,给出了R0代数的∨-半格蕴涵表示形式。同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的∨-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征。     

代数系数幂级数在超越数上值的代数无关性

本文证明了一类具有代数系数的幂级数在超越数上值约代数无关性．     

模糊代数系统

引入模糊代数系统及其强解的概念,给出其特有性质.定义proper和V-proper模糊代数系统,并给出其解的一般表达形式.建立模糊代数系统与模糊上下文无关文法相互转化法则.最后得出结论:任一proper和V-proper模糊代数系统都存在唯一强解.模糊上下文无关文法生成的模糊语言和其对应的模糊代数系统的强解的某个分量是相等的.     

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

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

基于完备IMTL代数的L模糊粗糙集

IMTL代数是一类重要的非经典逻辑代数,基于IMTL代数的L模糊粗糙集可以刻画信息系统中具有不完备性、模糊性与不可比较性的信息.本文讨论了基于完备IMTL代数的L模糊粗糙集的表示定理,还讨论了此种L模糊粗糙集的上下近似算子的性质以及近似算子的公理化定义方法.     

L*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.     

L—模糊关系

Ｌ—模糊集与模糊集相比，在值域上使用的是更为一般的代数系统，本文以Ｌ—集合套为工具，对Ｌ—模糊映射，Ｌ—模糊变换，Ｌ—模糊关系以及它们之间的关系作了详尽的研究，得到了一些有意义的结果，这些结论可望得到广泛的应用。     

直觉L模糊子群的刻画

本文研究了一个群G上的直觉L模糊子群.借助于L模糊集的截集,反模糊子群,得到了群G上的直觉L模糊子群的等价刻画.在直觉L模糊子群和群G上的子群族之间可以建立起一一对应.     

R0-代数中一种混合运算的性质及L*系统的完备性

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的性质,并以此为工具利用Petr Hajek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了L*系统关于语义ΩW的完备性.     

R0-代数的扰动模糊子代数和扰动模糊MP滤子

把扰动模糊集理论应用在R_0-代数上,给出R_0-代数的扰动模糊子代数,扰动模糊MP滤子的概念,讨论R_0-代数上扰动模糊子代数的等价刻画和扰动模糊MP滤子的若干性质;研究了扰动模糊MP滤子的同态像和逆像。     

R0-代数(NM-代数)的模糊MP-滤子格

在R0-代数中,从模糊集出发构造了模糊MP-滤子,作为应用证明了如下结果:R0-代数的所有模糊MP-滤子构成一个完备模格。     

基于完备BR0-代数的全蕴涵三Ⅰ算法

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

WBR0-代数的构建与性质

通过对WBR0-代数中各条件的研究,首先讨论它们之间的独立性,进而将WBR0-代数进行简化.其次讨论WBR0-代数的性质及其分配性,并构造一个非BR0 -代数的WBR0-代数的结构说明了WBR0-代数不同于BR0-代数.同时该结构说明WBR0-代数不满足分配律.     

R0-代数（NM-代数）的区间值模糊子代数

将区间值模糊集的概念应用于R0-代数,引入区间值模糊R0-子代数的概念并研究它的性质。给出了区间值模糊集成为区间值模糊R0-子代数的一个充要条件;讨论了区间值模糊R0-子代数和R0-子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊R0-子代数的象和原象成为区间值模糊R0-子代数的条件。     

(L,M)-模糊拓扑空间中模糊紧性的测度

本文借助不等式,在(L,M)-拓扑空间中引入了模糊紧性度的概念,并讨论了它的性质.     

L~*系统的一种改进系统L_0~*

研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途径     

D0空间的像和原像

This paper is devoted to the images and preimages of D0 spaces.First of all,we prove that the preimage X of a D0 space Y under a perfect mapping f is a D0 space whenever X has a G^*-diagonal or every compact subset of Xif Gδ，And then we give a representation theorem of Dδ spaces.At last,we give a characterization of countably compact D0 spaces.     

R_0代数的根及其结构特征

在现有的基于中点与真布尔元对R0代数进行分类讨论的基础上,提出了R0代数的根的概念,并通过研究根的若干重要性质给出了含真布尔元的R0代数结构特征的一个精细刻画,从而完全解决了这类R0代数的结构问题.