A triangular-norm-based propositional fuzzy logic
Fuzzy Sets and Systems - Logic and algebra
Integrated semantics and logic metric spaces
Fuzzy Sets and Systems - Logic and algebra
Consistency degrees of theories in some systems of propositional fuzzy logic
Fuzzy Sets and Systems
Implication operators in fuzzy logic
IEEE Transactions on Fuzzy Systems
Three and two-valued Łukasiewicz theories in the formal deductive system L* (NM-logic)
Fuzzy Sets and Systems
Information Sciences: an International Journal
On the rough consistency measures of logic theories and approximate reasoning in rough logic
International Journal of Approximate Reasoning
Truth degree analysis of fuzzy reasoning
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 0.20 |
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 @P 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.