系统L_n中公式相对于有限理论的Г-绝对真度理论

The Theory of Г-Absolute Ttruth Degree Being Relative to Finite Theory in Logic System L_n

将多值逻辑中的∑-α重言式理论与计量逻辑学中的真度理论相结合,在n值Lukasiewicz命题逻辑系统中引入了公式相对于有限理论Γ的Γ-绝对真度概念,讨论了它的若干性质.利用Γ-绝对真度定义了公式间的Γ-绝对相似度与伪距离,为进一步建立n值Lukasiewicz命题逻辑系统相对于有限理论Γ的近似推理奠定了基础.

Having combination of the theory of truth degree in quantitative logic with the theory of ∑-α-tautorogies in fuzzy logic ,the concept of Г-absolute truth degree being relative to finite theory P was introduced in n-valued Lukasiewicz propositional logic system,and its properties were discussed. Also the Г-absolute similarity degree and pseudo-distance between two formulas were defined by using the Г-absolute truth degree,providing a basis for further establishing approximate reasoning theory being relative to finite theory in logic system Ln.