模糊逻辑系统Luk和L^＊中理论相容度的计算公式（Ⅲ）

解决了模糊逻辑系统L*与Luk中理论相容度的计算问题。首先给出了L*中理论相容度的计算公式;然后,引入了逻辑公式的核,理论的核的新概念,从而,得到了模糊逻辑系统Luk中理论相容度的计算公式;最后,给出了理论不相容的两个新的充要条件。

逻辑系统L~*和BL~*的广义演绎定理的逆定理

利用形式推演方法,给出逻辑系统L*和BL*的广义演绎定理逆定理的证明,并利用系统BL*的完备性定理及广义演绎定理证明系统BL*的强可靠性定理。

模糊逻辑系统中公式的积分真度和伪距离

在赋值格为[0,1]的模糊逻辑系统L^＊中,本文利用序结构和赋值函数的性质研究公式的积分真度和伪距离,导出了积分真度和伪距离的若干性质,并且给出了在逻辑度量空间中逻辑运算关于伪距离均连续这一重要定理的简洁证明。该方法避开了多重积分的复杂计算;研究结果不仅可以用于公式的积分真度和伪距离的简化计算或合理估值,而且拓宽了逻辑度量空间理论的发散度与相容度以及近似推理的研究思路。

根与F(S)中的近似推理

基于一组公式集的根的理论与公式的真度理论,讨论了二值命题逻辑系统L,Fuzzy命题逻辑系统L*中根与命题集的发散度、相容度之间的内在联系,重点论述了其在F(S)的近似推理误差分析中所起的作用．