The extensions ℒn* of the formal system ℒ* and their completeness

Information Sciences

Volumn 152, Issue SUPPL, 2003, Pages 155-166

  Pei, Daowu ^a,b   Wang, Guojun ^a  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b YANCHENG TEACHERS UNIVERSITY   (China)

Author keywords

Completeness; Extension; Fuzzy logic; Many valued logic; Propositional calculus system

Indexed keywords

COMPUTATIONAL COMPLEXITY; MATHEMATICAL OPERATORS; SEMANTICS; THEOREM PROVING;

MANY VALUED LOGIC;

FUZZY SETS;

EID: 0038297460     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(02)00406-1     Document Type: Article

References (13)

1. Pavelka J. On fuzzy logic (I, II, III). Z. Math. Logik Grandl. Math. 25:1979;45-52. 119-134, 447-464.
2. D.W. Pei, Fuzzification of the Q-system ℒ*, to appear in Information Sciences.
3. Pei D.W., Wang G.J. The completeness and applications of the formal system. ℒ* Sci. China, (Series F) 45:2002;40-50.
4. Tarski A. Logic, Semantics, Metamathematics. 1956;Oxford University Press.
5. Wang G.J. A formal deductive system of fuzzy propositional calculus. Chin. Sci. Bull. 42:1997;1041-1045.
6. Wang G.J. The theory of Σ-(α-tautologies) in revised Kleene system Sci. China (Series E). 28:1998;146-152.
7. Wang G.J. The full implication triple I method for fuzzy reasoning. Sci. China (Series E). 29:1999;43-53.
8. Wang G.J. On the logic foundation of fuzzy reasoning. Inform. Sci. 117:1999;47-88.
9. Wang G.J. Nonclassical Mathematical Logic and Approximate Reasoning. 2000;Science in China Press, Beijing. (in Chinese).
10. Wang G.J. Triple I method and interval valued fuzzy reasoning. Sci. China (Series E). 43:2000;242-253.
11. Watkins F.A. False controversy: fuzzy and non-fuzzy faux pas. IEEE Expert. 10:1995;4-5.
12. vpl Inform. Sci. 114:1999;205-235.
13. Ying M.S. A logic for approximate reasoning. J. Symbol. Logic. 59:1994;830-837.