Stone-like representation theorems and three-valued filters in R 0- algebras (nilpotent minimum algebras)

Fuzzy Sets and Systems

Volumn 162, Issue 1, 2011, Pages 1-26

  Zhou, Hongjun ^a   Zhao, Bin ^a  

^a SHAANXI NORMAL UNIVERSITY   (China)

Author keywords

Finite square intersection property; Maximal filter; Nilpotent minimum; Non classical logics; Prime ideal theorem; Stone representation theorem

Indexed keywords

FINITE SQUARE INTERSECTION PROPERTY; MAXIMAL FILTER; NILPOTENT; NON-CLASSICAL LOGIC; PRIME IDEAL; STONE REPRESENTATION THEOREMS;

BOOLEAN ALGEBRA; FORMAL LOGIC; SET THEORY; TOPOLOGY;

FUZZY FILTERS;

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

References (58)

1. C. Elkan The paradoxical success of fuzzy logic IEEE Expert 9 4 1994 3 8
2. G.J. Wang, Fuzzy logic and fuzzy reasoning, in: Proceedings of the Seventh National Many-valued and Fuzzy Logic Academic Conference, Xi'an, 1996, pp. 82-96.
3. G.J. Wang A formal deductive system for fuzzy propositional calculus Chin. Sci. Bull. 42 1997 1521 1526
4. G.J. Wang The full implicational triple I method of fuzzy reasoning Sci. China E 29 1999 44 53
5. G.J. Wang Formalized theory of general fuzzy reasoning Inform. Sci. 160 2004 251 266
6. G.J. Wang, and L. Fu Unified forms of triple I method Comput. Math. Appl. 49 2005 923 932
7. S.J. Song, C.B. Feng, and E.S. Lee Triple I method of fuzzy reasoning Comput. Math. Appl. 44 2002 1567 1579
8. H.W. Liu, and G.J. Wang Unified forms of fully implicational restriction methods for fuzzy reasoning Inform. Sci. 177 2007 956 966
9. L.A. Zadeh Outline of a new approach to the analysis of complex systems and decision processes IEEE Trans. Syst. Man Cybern. 3 1974 28 44
10. G.J. Wang On the logic foundation of fuzzy reasoning Inform. Sci. 117 1999 47 88
11. G.J. Wang Theory of Non-classical Mathematical Logic and Approximate Reasoning 2000 Science in China Press Beijing (in Chinese)
12. D.W. Pei, and G.J. Wang The completeness and applications of the formal system L * Sci. China F 45 2002 40 50
13. S.M. Wang, B.S. Wang, and X.Y. Wang A characterization of truth-functions in the nilpotent minimum logic Fuzzy Sets Syst. 145 2004 253 266
14. S. Aguzzoli, and B. Gerla Normal forms and free algebras for some extensions of MTL Fuzzy Sets Syst. 159 2008 1131 1152
15. D.W. Pei R 0 - implication: characteristics and applications Fuzzy Sets Syst. 131 2002 297 302
16. M. Busaniche Free nilpotent minimum algebras Math. Logic Q. 52 2006 219 236
17. J.L. Zhang, G.J. Wnag, and M.D. Hu Topology on the set of R 0 - semantics for R 0 - algebras Soft Comput. 12 2008 585 591
18. L.Z. Liu, and K.T. Li Fuzzy implicative and Boolean filters of R 0 - algebras Inform. Sci. 171 2005 61 71
19. Q.J. Luo Topological properties of prime filters in R 0 - algebras Acta Math. Sin. 51 2008 795 802 (in Chinese)
20. C. Noguera, F. Esteva, and J. Gispert Perfect and bipartie IMTL-algebras and disconnected rotations of prelinear semigroups Arch. Math. Logic 44 2005 869 886
21. C. Noguera, F. Esteva, and J. Gispert On some varieties of MTL-algebras Logic J. IGPL 13 2005 443 466
22. F. Esteva, and L. Godo Monoidal t-norm based logic: towards a logic for left-continuous t-norms Fuzzy Sets Syst. 124 2001 271 288
23. J. Fodor Nilpotent minimum and related connectives for fuzzy logic Proceedings of the FUZZ-IEEE'95 vol. 1995 2077 2082
24. D.W. Pei On equivalent forms of fuzzy logic systems NM and IMTL Fuzzy Sets Syst. 138 2003 187 195
25. M.H. Stone The theory of representation for Boolean algebras Trans. Am. Math. Soc. 40 1936 37 111
26. R. Sikorski Boolean Algebras 1964 Springer-Verlag Berlin
27. D.X. Zhang, and Y.M. Liu L-fuzzy version of Stone's representation theorem for distributive lattices Fuzzy Sets Syst. 76 1995 259 270
28. Y.M. Liu, and D.X. Zhang Stone's representation theorem in fuzzy topology Sci. China A 33 2003 236 247
29. L.P. Belluce Semisimple algebras of infinite valued logic and bold fuzzy set theory Can. J. Math. 38 1986 1356 1379
30. Y. Shang, Y.M. Li, and M.Y. Chen Constructions of some quantum structures and fuzzy effect spaces Int. J. Theor. Phys. 43 2004 1219 1229
31. R. Cignoli, and A. Torrens Boolean products of MV-algebras: hypernormal MV-algebras J. Math. Anal. Appl. 199 1996 637 653
32. A.D. Nola, G. Georgescu, and L. Leustean Boolean products of BL-algebras J. Math. Anal. Appl. 251 2000 106 131
33. J. Gispert, and A. Torrens Boolean representation of bounded BCK-algebras Soft Comput. 12 2008 941 954
34. G.J. Wang Implication lattices and their fuzzy implication space representation theorem Acta Math. Sin. 42 1999 133 140 (in Chinese)
35. A. Dvureenskij Fuzzy set representations of some quantum structures Fuzzy Sets Syst. 101 1999 67 78
36. H.J. Zhou, and G.J. Wang Characterizations of maximal consistent theories in the formal deductive system L * (NM-logic) and Cantor space Fuzzy Sets Syst. 158 2007 2591 2604
37. H.J. Zhou, and G.J. Wang Three and two-valued Łukasiewicz theories in the formal deductive system L * (NM-logic) Fuzzy Sets Syst. 159 2008 2970 2982
38. L.Z. Liu, and K.T. Li Involutive monoidal t-norm-based logic and R 0 - logic Int. J. Intell. Syst. 19 2004 491 497
39. G.J. Wang Theory of L-fuzzy Topological Spaces 1988 Shaanxi Normal University Press Xi'an (in Chinese)
40. D.W. Pei Simplification and independence of axioms of fuzzy logic systems IMTL and NM Fuzzy Sets Syst. 152 2005 303 320
41. S.M. Wang, B.S. Wang, and G.J. Wang A triangular norm-based propositional fuzzy logic Fuzzy Sets Syst. 136 2003 55 70
42. S.M. Wang, and M.Y. Wang Undefinability of min-conjunction in MTL Fuzzy Sets Syst. 157 2006 670 676
43. G.J. Wang, and H.J. Zhou Introduction to Mathematical Logic and Resolution Principle 2009 Alpha Science International Ltd. Oxford
44. C. Han, and H.J. Zhou A note on strong completeness of the formal system L * J. Shaanxi Normal Univ. 33 2005 9 12 (Natural Science edition)
45. E. Turunen Boolean deductive systems of BL-algebras Arch. Math. Logic 40 2001 467 473
46. Y.B. Jun Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras Fuzzy Sets Syst. 121 2001 353 357
47. Y.B. Jun, Y. Xu, and X.H. Zhang Fuzzy filters of MTL-algebras Inform. Sci. 175 2005 120 138
48. L.Z. Liu, and K.T. Li Fuzzy filters of BL-algebras Inform. Sci. 173 2005 141 154
49. L.Z. Liu, and K.T. Li Fuzzy Boolean and positive implicative filters of BL-algebras Fuzzy Sets Syst. 152 2005 333 348
50. L.Z. Liu, and K.T. Li Boolean filters and positive implicative filters of residuated lattices Inform. Sci. 177 2007 5725 5738
51. M. Kondo, and W.A. Dudek Filter theory of BL algebras Soft Comput. 12 2008 1432 7643
52. X.H. Zhang, Z.A. Xue, and Y.C. Ma Boolean MP-filters and Boolean MP-ideals in R 0 - algebras(NM-algebras) J. Eng. Math. 22 2005 287 294 (in Chinese)
53. Y.B. Jun, and L.Z. Liu Filters of R 0 - algebras Int. J. Math. Math. Sci. 2006 2006 1 9
54. S. Koppelberg, Handbook of Boolean Algebras, vol. I, North-Holland, Amsterdam, 1989.
55. A. Dvureenskij, and J. Rachunek Probabilistic averaging in bounded commutative residuated ℓ - monoids Discrete Math. 306 2006 1317 1326
56. J.L. Kelley General Topology 1955 Springer-Verlag New York
57. R. Cignoli, and A. Torrens Free algebras in varieties of Glivenko MTL-algebras satisfying the equation 2 (x 2 ) = (2 x ) 2 Stud. Logica 83 2006 157 181
58. R. Cignoli, and A. Torrens Glivenko like theorems in natural expansions of BCK-logic Math. Logic Q. 50 2004 111 125