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 C 2 , Łukasiewicz fuzzy logic system Ł uk, Gödel fuzzy logic system Gö d, product fuzzy logic system Π 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
