A New Theory of T Truth Degree on G¨odel n-Valued Propositional Logic System

摘要

By adding new operators Δ and ～, axiomatic expansion of G¨odel n-valued propositional logic system is introduced, which is denoted byG¨odel～. In this paper, the concept of t truth degree of propositional formula is put forward in G¨odel～ (t take Δ,～), and the MP rule, HS rule and some related properties are studied; the concepts of t similarity degree, t pseudo-metric between propositional formulas, and t divergent degree and t consistent degree of theory Γ in G¨odel～ are obtained, and their correlation properties are discussed.