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

  • Authors:

  • Hongbo Wu

  • Affiliations:

  • College of Mathematics and Information Science, Shaanxi Normal University, Xi'an, 710062, China

  • Venue:
  • Computers & Mathematics with Applications
  • Year:
  • 2010

Quantified Score

Hi-index 0.09

Visualization

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 @S"@C-truth degrees of formulas related to theory @C in the logic system L"n^* (n-valued NM-logic system), and discussed some of its properties. With the help of the properties of @S"@C-truth degrees: @t"@C(A)+@t"@C(A-B)@?1+@t"@C(B), we have obtained the @C-logic metric on the set F(S) of formulas in the propositional logic system L"n^* (n-valued NM-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 @C in the logic system L"n^* (n-valued NM-logic system).