Consistency Degrees of Theories in the Revised n-Valued Kleene Logical System
Jun Li, Qian Lan · 2009
Based on the truth degrees of formulas and the generalized deduction theorem, the present paper proposes an index reflecting the extent to which a general theory is consistent in the revised n-valued Kleene logical system. A sufficient and necessary condition for theories being consistent or inconsistent are given.