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

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

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

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

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

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

区间集上非交换剩余格Fuzzy布尔滤子的特征性质简

运用区间集思想方法、滤子理论和广义Boole格,引入了区间集上非交换剩余格Fuzzy布尔滤子的定义,给出了区间集上非交换剩余格Fuzzy布尔滤子的等价刻画表示定理和特征性质.     

BL_Δ~*系统的完备性

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

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

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

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

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

三值逻辑命题的条件真度理论

基于条件概率的思想,在三值逻辑命题中引入条件真度的概念.在三值逻辑系统中初步给出在信息Σ下的近似推理理论.     

拓扑系统中的闭包元和闭包集及其相关性质

由于拓扑系统中闭元的缺失,对拓扑系统中与闭集相关内容的理论及性质研究受到一定程度的制约。首先利用余frame和点集两部分建立对偶拓扑系统——由闭元确定的拓扑系统,对其基本性质进行初步讨论;其次利用闭元给出点集部分的闭包元概念,并对闭包元性质进行讨论;第三,利用闭包元给出拓扑系统中凝聚点和导集的定义,对导集和闭包集的性质进行讨论。最后总结讨论闭包元和闭包集的关系。