Theory of truth degrees of propositions in two-valued logic

Science in China, Series A: Mathematics, Physics, Astronomy

Volumn 45, Issue 9, 2002, Pages 1106-1116

  Wang, Guojun ^a,b   Fu, Li ^c   Song, Jianshe ^d  

^a XI'AN JIAOTONG UNIVERSITY   (China)

^b SHAANXI NORMAL UNIVERSITY   (China)

^c Qinghai Nationalities College   (China)

^d XI AN HI TECH INSTITUTE   (China)

Author keywords

Deviation; Divergence degree; Measurized mapping; Similarity degree; Theorem with error; Truth degree

Indexed keywords

EID: 0345795700     PISSN: 10069283     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. Wang Guojun, Theory of Σ-(α-tautologies) in revised Kleene systems, Science in China, Ser. E, 1998, 4(2): 188-195.
2. Wang Guojun, Non-classic Logic and Approximate Reasoning (in Chinese), Beijing: Science Press, 2000.
3. Wang Guojun, Wang Wei, Logic metric space, Acta Mathematica Sinica (in Chinese), 2001, 44(1): 159-168.
4. Rosser, J. B., Turquette, A. R., Many-Valued Logics, Amsterdam: North-Holland, 1952.
5. 5' Pavelka, J., On fuzzy logic I, II, III, Zeitschr. f. Math. Logik u. Grundlagen d. Math., 1979, 25: 45-52, 119-134, 447-464.
6. De Glas, M., Knowledge representation in a fuzzy setting, Tech. Rep. 89/48, Université Paris VI, Laforia, 1989.
7. Wang Shiqiang, Meng Xiaoqing, Mathematical Logic and Category Theory with Applications (in Chinese), Beijing: Beijing Normal University Press, 1999.
8. Ying Mingsheng, A logic for approximate reasoning, J. Symbolic Logic, 1994, 59: 830-837.
9. Wang Guojun, A univeral theory of measure and integral on valuation spaces with respect to diverse implication operators, Science in China, Ser. E, 2000, 43(6): 586-594.
10. Halmos, P. R., Measure Theory, New York: Springer-Verlag, 1974.
11. Zadeh, L. A., Similarity relations and fuzzy ordering, Information Sciences, 1971, 3: 177-200.
12. Dubois, D., Prade, H., Fuzzy Sets and Systems, New York: Academic Press, 1980.
13. Hamilton, A. G., Logic For Mathematicians, London: Cambridge University Press, 1978.
14. Wang Guojun, Generalized MP, J. Shaanxi Normal University, 2000, 28(3): 1-10.
15. Wang Guojun, The full implication triple I method for fuzzy reasoning, Science in China, Ser. E (in Chinese), 1999, 29(1): 43-53.