Characterizations of maximal consistent theories in the formal deductive system L* (NM-logic) and Cantor space

Fuzzy Sets and Systems

Volumn 158, Issue 23, 2007, Pages 2591-2604

  Zhou, Hongjun ^a   Wang, Guojun ^a,b  

^a SHAANXI NORMAL UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

Cantor space; Compactness theorem; Formal deductive system L*; Maximal consistent theory; Nilpotent minimum logic; Non classical logics; R0 algebra; Satisfiability theorem; Topology

Indexed keywords

SET THEORY; SYSTEMS ENGINEERING; THEOREM PROVING; TOPOLOGY;

CANTOR SPACES; COMPACTNESS THEOREM; FORMAL DEDUCTIVE SYSTEMS; MAXIMAL CONSISTENT THEORY; NILPOTENT MINIMUM LOGIC; NON-CLASSICAL LOGICS; SATISFIABILITY THEOREM;

FUZZY LOGIC;

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

References (39)

1. Aguzzoli S., Gerla B., and Manara C. Poset representation for Gödel and nilpotent minimum logics. In: Godo L. (Ed). ECSQARU 2005, Lecture Notes in Artificial Intelligence vol. 3571 (2005) 662-674
2. Blackburn P., Rijke M., and Venema Y. Modal Logic (2001), Cambridge University Press, London
3. Brouwer L.E.J. On the structure of perfect sets of points. Proc. Akad. Amsterdam 12 (1910) 785-794
4. Busaniche M. Free nilpotent minimum algebras. Math. Logic Quart. 52 3 (2006) 219-236
5. Esteva F., Gispert J., Godo L., and Montagna F. On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm based logic. Studia Logica 71 (2002) 199-226
6. Esteva F., and Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124 (2001) 271-288
7. Fagin R., Halpern J.Y., Moses Y., and Vardi M.Y. Reasoning About Knowledge (1995), MIT Press, Cambridge
8. J. Fodor, Nilpotent minimum and related connectives for fuzzy logic, Proceedings of the FUZZ-IEEE'95, 1995, pp. 2077-2082.
9. Gottwald S. A Treatise on Many-Valued Logics, Studies in Logic and Computation (2001), Research Studies Press, Baldock
10. Gottwald S., and Novák V. On the consistency of fuzzy theories. Proceeedings of the Seventh IFSA World Congress (1997), Academia, Prague 168-171
11. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers, Dordrecht
12. Hamilton A.G. Logic for Mathematicians (1978), Cambridge University Press, London
13. 0-algebras. J. Shaanxi Normal Univ. 32 1 (2004) 25-28 (Natural Science edition)
14. *. J. Shaanxi Normal Univ. 33 2 (2005) 9-12 (Natural Science edition)
15. Kelley J.L. General Topology (1955), Springer, New York
16. Mill J.V. Infinite-Dimensional Topology (1988), North-Holland, Amsterdam
17. Munkres J.R. Topology. second ed. (2004), China Machine Press, Beijing
18. Naumov P. On modal logic of deductive closure. Ann. Pure Appl. Logic 141 (2006) 218-224
19. Noguera C., Esteva F., and Gispert J. On some varieties of MTL-algebras. Logic J. IGPL 13 (2005) 443-466
20. Novák V., Perfilieva I., and Močkoř J. Mathematical Principles of Fuzzy Logic (1999), Kluwer Academic Publishers, Boston
21. *. Fuzzy Systems and Math. 15 (2001) 34-39
22. 0 implication: characteristics and applications. Fuzzy Sets and Systems 131 (2002) 297-302
23. Pei D.W. On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets and Systems 138 (2003) 187-195
24. Pei D.W. Simplication and independence of axioms of fuzzy logic systems IMTL and NM. Fuzzy Sets and Systems 152 (2005) 303-320
25. *. Sci. China F 45 (2002) 40-50
26. Song S.J., Feng C.B., and Lee E.S. Triple I method of fuzzy reasoning. Comput. Math. Appl. 44 (2002) 1567-1579
27. Wang G.J. A formal deductive system for fuzzy propositional calculus. Chinese Sci. Bull. 42 (1997) 1521-1526
28. G.J. Wang, Theory of Σ-(α-tautologies) in the revised Kleene system, Sci. China E (1998) 44-53.
29. Wang G.J. On the logic foundation of fuzzy reasoning. Inform. Sci. 117 (1999) 47-88
30. G.J. Wang, The full implicational triple I method of fuzzy reasoning, Sci. China E (1999) 44-53.
31. Wang G.J. Theory of Non-classical Mathematical Logic and Approximate Reasoning (2000), Science in China Press, Beijing (in Chinese)
32. Wang G.J. Formalized theory of general fuzzy reasoning. Inform. Sci. 160 (2004) 251-266
33. Wang G.J. Introduction to Mathematical Logic and Resolution Principle. second ed. (2006), Science in China Press, Beijing (in Chinese)
34. Wang G.J., and Fu L. Unified forms of triple I method. Comput. Math. Appl. 49 (2005) 923-932
35. Wang S.M., Wang B.S., and Wang G.J. A triangular norm-based propositional fuzzy logic. Fuzzy Sets and Systems 136 (2003) 55-70
36. Wang S.M., Wang B.S., and Wang X.Y. A characterization of truth-functions in the nilpotent minimum logic. Fuzzy Sets and Systems 145 (2004) 253-266
37. Wang S.M., and Wang M.Y. Undefinability of min-conjunction in MTL. Fuzzy Sets and Systems 157 (2006) 670-676
38. Zadeh L.A. Outline of a new approach to the analysis of complex systems and decision processes. IEEE Trans. Systems Man Cybernet. 3 (1974) 28-44
39. Zhou H.J., and Wang G.J. Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems. Fuzzy Sets and Systems 157 (2006) 2058-2073