Consistency degrees of theories in some systems of propositional fuzzy logic

Fuzzy Sets and Systems

Volumn 152, Issue 2, 2005, Pages 321-331

  Zhou, Xiang Nan ^a   Wang, Guo Jun ^a,b  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

Consistency degree; Divergence degree; Inconsistency; Polar index; Theory

Indexed keywords

ALGEBRA; FUNCTIONS; MATHEMATICAL OPERATORS; NUMBER THEORY; THEOREM PROVING;

CONSISTENCY DEGREE; DIVERGENCE DEGREES; INCONSISTENCY; POLAR INDEX;

FUZZY SETS;

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

References (11)

1. R. Cignoli, I.M.L. D'Ottaviano, and D. Mundici Algebraic Foundations of Many-Valued Reasoning 2000 Kluwer Academic Publishers Dordrecht
2. F. Esteva, and L. Godo Monoidal t-norm based logic towards a logic for left-continuous t-norms Fuzzy Sets and Systems 124 2001 271 288
3. S. Gottwald, V. Novák, On the consistency of fuzzy theories, Proceedings of the 7th IFSA World Congress, Academia, Prague, 1997, pp. 168-171.
4. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer Academic Publishers Dordrecht
5. J.L. Kelly General Topology 1955 Van Nostrand London
6. V. Novák, I. Perfilieva, and J. Močkoř Mathematical Principles of Fuzzy Logic 1999 Kluwer Academic Publishers Dordrecht
7. D.W. Pei The operation ⊗ and deductive theorem in the formal deductive system L * Fuzzy Systems Math. 15 2001 34 39 (in Chinese)
8. G.J. Wang Theory of Σ - (α -tautologies) in revised Kleene systems Sci. China E 41 1998 188 195
9. G.J. Wang Theory of Non-classic Mathematical Logic and Approximate Reasoning 2000 Science in China Press Beijing (in Chinese)
10. G.J. Wang, and Y. Leung Integrated semantics and logic metric spaces Fuzzy Sets and Systems 136 2003 71 91
11. G.J. Wang, W.X. Zhang, Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic, Fuzzy Sets and Systems 149 (2005) 275-284.