Difference between revisions of "A new theory consistency index based on deduction theorems in several logic systems"

From Mathfuzzlog
Jump to: navigation, search
(New page: {{Paper| author=Hongjun Zhou| title=A new theory consistency index based on deduction theorems in several logic systems| journal=Fuzzy Sets and Systems| volume=157| number=3| pages=427-443...)
 
(Abstract)
 
Line 10: Line 10:
  
 
== Abstract ==
 
== Abstract ==
 +
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 C2, Łukasiewicz fuzzy logic system Łuk, Gödel fuzzy logic system Göd, product fuzzy logic system � and the R0-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.

Latest revision as of 00:43, 28 April 2008

Authors:
Hongjun Zhou
Title: A new theory consistency index based on deduction theorems in several logic systems
Journal: Fuzzy Sets and Systems
Volume 157
Number 3
Pages: 427-443
Year: 2006






Abstract

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 C2, Łukasiewicz fuzzy logic system Łuk, Gödel fuzzy logic system Göd, product fuzzy logic system � and the R0-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.