Graded method in propositional logic

Tien Tzu Hsueh Pao/Acta Electronica Sinica

Volumn 34, Issue 2, 2006, Pages 252-257

  Wang, Guo Jun ^a,b   Song, Jian She ^c  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

^c XI'AN RESEARCH INSTITUTE OF HIGH TECHNOLOGY   (China)

Author keywords

Approximate reasoning; Consistency degree; Induced function; Prepositional logic; Truth degree

Indexed keywords

APPROXIMATION THEORY; FUNCTIONS; FUZZY SETS; GRADING; PROBABILITY; SEMANTICS;

APPROXIMATE REASONING; CONSISTENCY DEGREE; INDUCED FUNCTION; PREPOSITIONAL LOGIC; TRUTH DEGREE;

LOGIC DESIGN;

EID: 33646367432     PISSN: 03722112     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

1. HAMILTON A G. Logic for Mathematicians[M]. London: Cambridge University Press, 1978.
2. HáJEK P. Metamathematics of Fuzzy Logic[M]. London: Kluwer Academic Publishers, 1998.
3. Wang G J. A formal deductive system for fuzzy propositional calculus[J]. Chinese Science Bulleting, 1997, 42(18): 1521-1525.
4. Wang S M, Wagn B S, Wang G J. A triangular norm based propositional fuzzy logic[J]. Fuzzy Sets and Systems, 2003, 136(1): 55-70.
5. GLAS M D. Knowledge representation in a fuzzy setting[R]. Paris: Université Paris VI, 1989.48-67.
6. WANG G J. Theory of ∑-(α-tautologies) in revised Kleene systems[J]. Science in China, Ser. E, 1998, 41(2): 188-195.
7. Wang G J, Fu L, Song J S. Theory of truth degrees of propositions in two-valued logic[J]. Science in China, Ser. A, 45(9): 1106-1116.
8. Wang G J, Leung Y. Integrated semantics and logic metric spaces[J]. Fuzzy Sets and Systems, 2003, 136(1): 71-91.
9. Halmos P R. Measure Theory[M]. New York: Springer-Verlag, 1974.157-158.
10. Wang G J, Song Q Y. A new type of triple-I method and its logic foundation[J]. Progress in Natural Science, 2003, 13(6): 575-581. (in Chinese)
11. Wang G J, Ren Y. Divergency and consistency in Lukasiewicz system[J]. Journal of Engineering Mathematics, 2003, 20(3): 13-18. (in Chinese)
12. Wang G J, Zhang W X. Consistency degrees of finite theories in Lukasiewicz fuzzy logic[J]. Fuzzy Sets and Systems, 2005, 149(3): 275-284.
13. Wang G J, Qing X Y, Zhou X N. Theory of quasi-truth degrees of formulas in two-valued predict logic[J]. Journal of Shaanxi Normal University, 33(1): 1-6. (in Chinese)