The generalized truth degree of quantitative logic in the logic system Ln∗ (n-valued NM-logic system)

Abstract

The concept of the truth degree of a formula is the crucial tool and the building block in quantitative logic, from which the concept of logic metric in quantitative logic is derived. Logic metric takes an important role in quantitative logic, related to which are other concepts in quantitative logic such as divergence, consistency, etc. In the present paper, having combined the theory of generalized tautologies with the theory of truth degrees in quantitative logic, we have proposed the theory of Σ Γ -truth degrees of formulas related to theory Γ in the logic system L n ∗ ( n -valued N M -logic system), and discussed some of its properties. With the help of the properties of Σ Γ -truth degrees: τ Γ ( A ) + τ Γ ( A → B ) ≤ 1 + τ Γ ( B ) , we have obtained the Γ -logic metric on the set F ( S ) of formulas in the propositional logic system L n ∗ ( n -valued N M -logic system). By the work of this paper we can generalize the theory of quantitative logic in all-round way and establish an approximate reasoning’s framework related to theory Γ in the logic system L n ∗ ( n -valued N M -logic system).