A new theory consistency index based on deduction theorems in several logic systems

作者：Zhou HJ; Wang GJ^*

来源：Fuzzy Sets and Systems, 2006, 157(3): 427-443.

DOI：10.1016/j.fss.2005.07.006

• theory
• deduction theorem
• truth degree
• divergence degree
• polar index
• normal consistent
• almost inconsistent
• consistency degree

Based on deduction theorems, completeness theorems and by means of the theory of truth degrees of formulas and the concept of divergence degrees of theories, the present paper proposes another new index reflecting the extent to which a general theory is consistent in five different logic systems, i.e., classical (two-valued) logic system C-2, Lukasiewicz fuzzy logic system Luk, Godel fuzzy logic system God, product fuzzy logic system H and the R-0-fuzzy logic system L*. The concepts of normal consistency and almost inconsistency of theories in the above-mentioned logic systems are introduced, and sufficient and necessary conditions for theories being normal consistent or almost inconsistent are given. Finally, comparison with the existing concept of consistency degrees of theories is analyzed.

• 出版日期2006-2-1
• 单位陕西师范大学