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

发布时间：2018-06-25 05:50

  本文选题：多值逻辑 + 逻辑系统■　； 参考：《山东大学学报(理学版)》2008年06期

【摘要】：将模糊命题逻辑系统中的∑-(α-重言式)理论与计量逻辑学中的真度理论相结合,在n-值Lukasievicz模糊命题逻辑系统■中引入了公式相对于有限理论的∑Γ-模糊真度理论,讨论了其中的主要性质。特别地证明了真度关系:τΓ(A)+τΓ(A→B)≤1+τΓ(B),并利用这一关系在模糊命题演算系统■中的公式集F(S)上引入相对于有限理论的Γ-伪距离,从而为在模糊命题逻辑系统■中建立相对于有限理论的近似推理框架奠定了基础。
[Abstract]:The 鈭，

本文编号：2064867