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

Fuzzy Sets and Systems

Volumn 157, Issue 3, 2006, Pages 427-443

  Zhou, Hong Jun ^a   Wang, Guo Jun ^a,b  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

Almost inconsistent; Consistency degree; Deduction theorem; Divergence degree; Normal consistent; Polar index; Theory; Truth degree

Indexed keywords

THEOREM PROVING; THEORY;

ALMOST CONSISTENT; CONSISTENCY DEGREE; DEDUCTION THEOREMS; DIVERGENCE DEGREE; NORMAL CONSISTENT; POLAR INDEX; TRUTH DEGREE;

FUZZY SETS;

EID: 27744499949     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2005.07.006     Document Type: Article

References (21)

1. R. Cignoli, I.M.L. D'Ottaviano, and D. Mundici Algebraic Foundations of Many-Valued Reasoning 2000 Kluwer Academic Publishers Dordrecht
2. F. Esteva, and L. Godo Monoidal t-norm based logic: towards a logic for left-continuous t-norms Fuzzy Sets and Systems 124 2001 271 288
3. S. Gottwald, V. Novák, On the consistency of fuzzy theories, Proceedings of 7th IFSA World Congress, 1997, Academia, Prague, 168-171.
4. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer Academic Publishers Dordrecht
5. P.R. Halmos Measure Theory 1974 Springer New York
6. A.G. Hamilton Logic for Mathematicians 1978 Cambridge University Press London
7. V. Novák, I. Perfilieva, and J. Močkoř Mathematical Principles of Fuzzy Logic 1999 Kluwer Academic Publishers Boston
8. D.W. Pei The operation ⊗ and deductive theorem in the formal deductive system L * Fuzzy Syst. Math. 15 2001 34 39 in Chinese
9. D.W. Pei, and G.J. Wang The completeness and applications of the formal system L * Sci. China F 45 2002 40 50
10. Q.Y. Song, and X.Z. Yang Regular similarity relation on F (S ) in propositional logic J. Shaanxi Normal Univ. 30 2002 23 27 in Chinese (Natural Science Edition)
11. G.J. Wang Theory of Σ - (α -tautologies) in revised Kleene systems Sci. China E 41 1998 188 195
12. G.J. Wang Theory of Non-classical Mathematical Logic and Approximate Reasoning 2000 Science in China Press Beijing in Chinese
13. G.J. Wang Introduction to Mathematical Logic and Resolution Principle 2003 Science in China Press Beijing in Chinese
14. G.J. Wang Comparison of deduction theorems in diverse logic systems New Mathematics Natural Comput. 1 2005 65 77
15. G.J. Wang, L. Fu, and J.S. Song Theory of truth degrees of propositions in two-valued logic Sci. China F 45 2002 40 50
16. G.J. Wang, and Y. Leung Integrated semantics and logic metric spaces Fuzzy Sets and Systems 136 2003 71 91
17. G.J. Wang, and Y. Ren Divergency and consistency in Łukasiewicz system J. Engrg. Math. 20 2003 13 18, in Chinese
18. S.M. Wang, B.S. Wang, and G.J. Wang A triangular-norm-based propositional fuzzy logic Fuzzy Sets and Systems 136 2003 55 70
19. G.J. Wang, and W.X. Zhang Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic Fuzzy Sets and Systems 149 2005 275 284
20. M.S. Ying Implication operators in fuzzy logic IEEE Trans. Fuzzy Syst. 10 2002 88 91
21. X.N. Zhou, and G.J. Wang Consistency degrees of theories in some systems of propositional fuzzy logic Fuzzy Sets and Systems 152 2005 321 331