A Quantitative Method of n-valued Gödel Propositional Logic

By means of infinite product of uniformly distributed probability spaces of cardinal n the concept of pure truth degrees of propositions in the n-valued Gödel logic system is introduced in the present paper. Inference rules of pure truth degrees are obtained. Moreover, similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas, and hence a possible framework suitable for developing approximate reasoning theory in n-valued Gödel propositional logic is established.