Some properties of fuzzy reasoning in propositional fuzzy logic systems

Information Sciences

Volumn 180, Issue 23, 2010, Pages 4661-4671

  Zhang, Jiancheng ^a   Yang, Xiyang ^a  

^a QUANZHOU NORMAL UNIVERSITY   (China)

Author keywords

Algorithm; Deduction theorem; Fuzzy reasoning; Generalized root; Propositional fuzzy logic

Indexed keywords

DEDUCTION THEOREMS; FUZZY LOGIC SYSTEM; FUZZY REASONING; FUZZY VERSION; GENERALIZED ROOT; LOGICAL FOUNDATIONS; MODUS PONENS; NILPOTENT MINIMUM LOGIC;

ALGORITHMS; FUZZY SYSTEMS;

FUZZY LOGIC;

EID: 77956614068     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2010.07.035     Document Type: Article

References (21)

1. 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
2. J. Fodor, Nilpotent minimum and related connectives for fuzzy logic, in: Proceedings of FUZZ-IEEE'95, 1995, pp.2077-2082.
3. J. Fodor Contrapositive symmetry of fuzzy implications Fuzzy Sets and Systems 69 1995 141 156
4. R.S. Grigolia, Algébraiéskij analiz n-zncnych logicéskich sistém Łukasiewicza-Tarskiego, in: Proceedings of Tbilisi Universtity A 6-7 (149-150) (1973), Mathematical and Natural Sciences, Tbilisi, pp. 121-132.
5. S. Gottwald A Treatise on Many-Valued Logics Studies in Logic and Computation 2001 Research Studies Press Baldock
6. P. Hájek Metamathematics of Fuzzy Logic 1998 Kluwer Academic Publishers. Dordrecht
7. H.W. Liu, and G.J. Wang Unified forms of fully implicational restriction methods for fuzzy reasoning Information Sciences 177 3 2007 956 966
8. B. Bouchon-Meunier, and V. Kreinovich Fuzzy Modus Ponens as calculus of logical modifiers: towards Zadeh's vision of implication calculus Information Sciences 116 1999 219 227
9. D.W. Pei On optimal solutions of GMP and GMT Fuzzy systems and Mathematics 17 2 2003 1 9
10. D.W. Pei On the equivalent forms of fuzzy logic systems NM and IMTL Fuzzy Sets and Systems 138 2003 187 195
11. D.W. Pei Unified full implication algorithms of fuzzy reasoning Information Sciences 178 2 2008 520 530
12. G.J. Wang, and H. Wang Non-fuzzy versions of fuzzy reasoning in classical logics Information Sciences 138 2001 211 236
13. G.J. Wang Introduction to Mathematical Logic and Resolution Principle 2003 Science in China Press Beijing in Chinese
14. G.J. Wang A formal deductive system for fuzzy propositional calculus Chinese Science Bulletin 42 1997 1521 1525
15. G.J. Wang On the logic foundation of fuzzy reasoning Information Sciences 117 1999 47 88
16. G.J. Wang Theory of Non-classical Mathematical Logic and Approximate Reasoning 2000 Science in China Press Beijing in Chinese
17. G.J. Wang, and L. Fu Unified forms of Triple I method Computers and Mathematics with Applications 49 2005 923 932
18. G.J. Wang, and H.J. Zhou Quantitative logic Information Sciences 179 3 2009 226 247
19. L.A. Zadeh Outline of a new approach to the analysis of complex systems and decision processes IEEE Transactions on Systems Man Cybernetics 3 1973 28 44
20. J.C. Zhang Some properties of the roots of theories in propositional logic systems Computers and Mathematics with Applications 55 2008 2086 2093
21. H.J. Zhou, and G.J. Wang Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems Fuzzy Sets and Systems 157 2006 2058 2073