Quantitative logic

Information Sciences

Volumn 179, Issue 3, 2009, Pages 226-247

  Wang, Guojun ^a,b   Zhou, Hongjun ^a  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

Approximate reasoning; Degree of the consistency; Degree of the divergence; Degree of the similarity; Degree of the truth; Pseudo metric; Quantitative logic

Indexed keywords

SET THEORY; TOPOLOGY;

APPROXIMATE REASONING; DEGREE OF THE CONSISTENCY; DEGREE OF THE DIVERGENCE; DEGREE OF THE SIMILARITY; DEGREE OF THE TRUTH; PSEUDO-METRIC; QUANTITATIVE LOGIC;

INFORMATION THEORY;

EID: 55949112101     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2008.09.008     Document Type: Article

References (35)

1. Adams E.W. A Primer of Probability Logic (1998), CSLI Publications, Stanford
2. Gottwald S. A Treatise on Many-Valued Logics, Studies in Logic and Computation (2001), Research Studies Press, Baldock
3. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers, Dordrecht
4. Hamilton A.G. Logic for Mathematicians (1978), Cambridge University Press, New York
5. *. J. Shaanxi Normal Univ. 33 2 (2005) 9-12 (Natural Science Edition)
6. Hu S.H., and Lu Z.W. Foundation of Mathematical Logic (1983), Science Press, Beijing (in Chinese)
7. Kakas A.C., and Sadri F.E. Computational Logic: Logic for Programming and Beyond (2002), Springer-Verlag, New York
8. Liu H.W., and Wang G.J. Unified forms of fully implicational restriction methods for fuzzy reasoning. Inform. Sci. 177 (2007) 956-966
9. Liu H.W., and Wang G.J. Triple I method based on pointwise sustaining degrees. Comput. Math. Appl. 55 (2008) 2680-2688
10. Lu R.Q. Artificial Intelligence (1988), Science Press, Beijing
11. Pei D.W. Unified full implication algorithms of fuzzy reasoning. Inform. Sci. 178 (2008) 520-530
12. *. Sci. China F 45 (2002) 40-50
13. * and their completeness. Inform. Sci. 152 (2003) 155-166
14. Pogorzelski W.A. The deduction theorem for Łukasiewicz many-valued propositional calculi. Studia Logica 15 (1964) 7-23
15. Song S.J., Feng C.B., and Lee E.S. Triple I method of fuzzy reasoning. Comput. Math. Appl. 44 (2002) 1567-1579
16. Wang G.J. A formal deductive system for fuzzy propositional calculus. Chin. Sci. Bull. 42 (1997) 1521-1526
17. Wang G.J. The full implicational triple I method of fuzzy reasoning. Sci. China E (1999) 44-53
18. Wang G.J. On the logic foundation of fuzzy reasoning. Inform. Sci. 117 (1999) 47-88
19. Wang G.J. Theory of Non-classical Mathematical Logic and Approximate Reasoning (2000), Science Press, Beijing (in Chinese)
20. Wang G.J. Introduction to Mathematical Logic and Resolution Principle (2003), Science Press, Beijing (in Chinese)
21. Wang G.J. Formalized theory of general fuzzy reasoning. Inform. Sci. 160 (2004) 251-266
22. Wang G.J. Comparison of deduction theorems in diverse logic systems. New Math. Nat. Comput. 1 1 (2005) 65-78
23. Wang G.J., and Fu L. Theory of truth degrees of propositions in two-valued logic. Sci. China A 31 11 (2001) 998-1008
24. Wang G.J., and Fu L. Unified forms of triple I method. Comput. Math. Appl. 49 (2005) 923-932
25. Wang G.J., and Leung Y. Integrated semantics and logic metric spaces. Fuzzy Sets Syst. 136 (2003) 71-91
26. Wang G.J., and Li B.J. Theory of truth degrees of formulas in Łukasiewicz n-valued proportional logic and a limit theorem. Sci. China E 35 6 (2005) 561-569
27. Wang G.J., and Wang W. Logic metric space. Acta Math Sinica 44 1 (2001) 159-168 (in Chinese)
28. Wang S.M., Wang B.S., and Wang G.J. A triangular norm-based propositional fuzzy logic. Fuzzy Sets Syst. 136 (2003) 55-70
29. *-Lindenbaum algebra. J. Shaanxi Normal Univ. 33 2 (2005) 1-4 (in Chinese)
30. Wang W., and Wang G.J. The Gödel's implication operator is not suitable for establishing fuzzy logic systems. Fuzzy Syst. Math. 19 2 (2005) 14-18 (in Chinese)
31. Wang Y.Y. Logic in Computer Science (1989), Science Press, Beijing (in Chinese)
32. Zadeh L.A. Outline of a new approach to the analysis of complex systems and decision processes. IEEE Trans. Syst. Man Cybern. 3 (1974) 28-44
33. Zhou H.J., and Wang G.J. A new theory consistency index based on deduction theorems in several logic systems. Fuzzy Sets Syst. 157 (2006) 427-443
34. Zhou H.J., and Wang G.J. Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems. Fuzzy Sets Syst. 157 (2006) 2058-2073
35. Zhou X.N., and Wang G.J. Consistency degrees of theories in some systems of propositional fuzzy logic. Fuzzy Sets Syst. 152 (2005) 321-331