基础J^＊系统的一种扩张—Lukasiewicz系统

研究模糊命题演算的形式演绎系统J^*和Lukasiewicz命题演算系统Lu,提出基础系统J^*-BJ^*系统，证明BJ^*系统的一种扩张与Lukasiewicz系统之间的等价性，从而为J^*系统和BJ^*系统提供了一个应用实例。     

局部有限BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

区间集非交换剩余格〈∈,∈凵Q〉-广义Fuzzy蕴涵滤子的构造性刻画

借鉴反映不确定性推理本质特征的滤子理论和用模糊粗糙集上、下近似集表述的区间集思想,引入了区间集非交换剩余格的概念,讨论构成区间集非交换剩余格的代数结构特征,构造性地给出了广义Fuzzy蕴涵滤子与其相应的〈∈,∈凵Q〉-广义Fuzzy蕴涵滤子间的等价性表示定理,体现了性质迥异的区间集非交换剩余格代数表示形式的内在相容性。     

平均模糊软集及其相似测度

基于弱模糊软集和强模糊软集的概念,给出了平均模糊软集的概念,讨论了平均模糊软集的一些基本性质.给出了具有相同参数集的两个平均模糊软集之间的几种相似度的定义,讨论了这些相似度之间大小关系.给出了具有不同参数集的两个平均模糊软集之间的相似度的一种定义,并通过例题,说明了这种相似度的定义的合理性.     

BL-代数的余零化算子及其BL同态像

通过在BL-代数中给出单点余零化算子的概念,研究单点余零化算子的基本性质;在BL-代数中讨论多点余零化算子的基本性质,并给出BL-代数的一个子集是多点余零化算子像的充要条件;研究多点余零化算子BL同态像的性质并分别给出余零化算子的BL同态像和余零化算子的BL同态原像是余零化算子像的充要条件.     

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

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

BL_Δ~*系统的完备性

研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.     

命题逻辑系统Ln中公式相对于有限理论的∑г-模糊真度理论

将模糊命题逻辑系统中的∑-（α-重言式）理论与计量逻辑学中的真度理论相结合，在n-值Lukasievicz模糊命题逻辑系统Ln中引入了公式相对于有限理论的∑г-模糊真度理论，讨论了其中的主要性质。特别地证明了真度关系：τг（A）＋τг（A—B）≤1＋τг（B），并利用这一关系在模糊命题演算系统Ln中的公式集F（S）上引入相对于有限理论的Г-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。     

积分语义学中的积分相似度与伪距离

研究了积分语义学理论的相似度与伪距离，对特殊公式Ｉｎ＝ｐ１∧ｐ２∧…∧ｐｎ，Ｕｎ＝ｐ１∨ｐ２∨…∨ｐｎ的真度值进行了计算，给出了Ｆ（Ｓ）中的积分相似度和Ｆ（Ｓ）上的伪距离的一些性质。得到了：（１）在任何一个逻辑系统中τ（Ｉｎ）＝１ｎ＋１，τ（Ｕｎ）＝ｎｎ＋１；（２）在Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统中，对公式Ａ和正数ε，存在公式Ｂ，使得１－ε〈ξ（Ａ，Ｂ）〈１；（３）在Ｌｕｋａｓｉｅｗｉｃｚ逻辑系统