A quantitative method of n-Valued R0 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 R₀ 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 R₀ propositional logic is established.