Consistency degrees of finite theories in Łukasiewicz prepositional fuzzy logic

Fuzzy Sets and Systems

Volumn 149, Issue 2, 2005, Pages 275-284

  Wang, Guo Jun ^a,b   Zhang, Wen Xiu ^b  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

Consistency degree; Divergence degree; Finite theory; Non classical logic

Indexed keywords

ALGEBRA; FUNCTIONS; PROBLEM SOLVING; SEMANTICS; SYNTACTICS; THEOREM PROVING;

CONSISTENCY DEGREE; DIVERGENCE DEGREE; FINITE THEORY; NON-CLASSICAL LOGIC;

FUZZY SETS;

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

References (11)

1. R. Cignoli, I.M.L. D'Ottaviano, D. Mundici, Algebraic Foundations of Many-valued Reasoning, Kluwer Academic Publishers, Dordrecht, 2000.
2. S. Gottwald, V. Novák, On the consistency of fuzzy theories, Proc. 7th IFSA World Congr., Academia, Prague, 1997, pp. 168-171.
3. P. Hájek, Metamethematics of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, 1998.
4. V. Novák, I. Perfilieva, J. Močkoř, Mathematical Principles of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, 1999.
5. J. Pavelka, On fuzzy logic(I), Z. Math. Grundlagen Math. 25 (1979) 45-52.
6. S. Roman, Coding and Information Theory, Springer, Berlin, 1992.
7. G.J. Wang, Theory of ∑-(α-tautologies) in revised Kleene systems, Sci. China Ser. E 41 (1998) 188-195.
8. G.J. Wang, Theory of Non-classic Mathematical Logic and Approximate Reasoning, Science in China Press, Beijing, 2000 (in Chinese).
9. G.J. Wang, Y. Leung, Integrated semantics and logic metric spaces, Fuzzy Sets and Systems 136 (2003) 71-91.
10. X.B. Yang, W.X. Zhang, Theory of generalized tautologies in Łukasiewicz system, J. Shaanxi Normal Univ. 26 (4) (1998) 6-9 (in Chinese).
11. L.A. Zadeh, Fuzzy logic and the calculi of fuzzy rules, fuzzy graphs, and fuzzy probabilities, Comput. Math. Appl. 37 (1999) 35.