A graded method for reasoning about n-valued R0 propositional logic
Qian Lan, Teng Ma · 2011
The concept of pure truth degrees of propositions in the n-valued R0logic system is introduced by means of infinite product of uniformly distributed probability spaces of cardinal n. Similarity degrees among formulas are proposed and a pseudo-metric is defined therefrom on the set of formulas. In the end, two kinds of approximate reasoning scheme are given and hence another possible framework suitable for developing graded reasoning in n-valued R0propositional logic is established.