Boolean filters and positive implicative filters of residuated lattices

Information Sciences

Volumn 177, Issue 24, 2007, Pages 5725-5738

  Lianzhen, Liu ^a   Kaitai, Li ^b  

^a JIANGNAN UNIVERSITY   (China)

^b XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

Boolean filter; Implicative filter; Positive implicative filter; Residuated lattice

Indexed keywords

BOOLEAN ALGEBRA; THEOREM PROVING; WAVE FILTERS;

BOOLEAN FILTER; IMPLICATIVE FILTER; POSITIVE IMPLICATIVE FILTER;

INFORMATION THEORY;

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

References (27)

1. Blount K., and Tsinakis C. The structure of residuated lattices. Int. J. Algebra Comput. 13 (2003) 437-461
2. Bahls P., Cole J., Jipsen P., and Tsinakis C. Cancellative residuated lattices. Algebra Univ. 50 (2003) 83-106
3. Chang C.C. Algebraic analysis of many valued logics. Trans. Am. Math. Soc. 88 (1958) 467-490
4. Nola A.Di., Georgescu G., and Iorgulescu A. Pseudo BL-algebras: part I. Mult. Val. Logic 8 (2002) 673-716
5. Nola A.Di., Georgescu G., and Iorgulescu A. Pseudo BL-algebras: part II. Mult. Val. Logic 8 (2002) 717-750
6. Esteva F., and Godo L. Monoidal t-norm based logic:towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124 (2001) 271-288
7. Flondor P., Georgescu G., and Iorgulescu A. Pseudo t-norms and pseudo BL-algebras. Soft Comput. 5 (2001) 355-371
8. Georgescu G., and Popescu A. Non-commutative fuzzy structures and pairs of weak negations. Fuzzy Sets Syst. 143 (2004) 129-155
9. Georgescu G., and Leustean L. Some classes of pseudo BL-algebras. J. Aust. Math. Soc. 73 (2002) 127-153
10. Hájek P. Observations on non-commutative fuzzy logic. Soft Comput. 8 (2003) 38-43
11. Hájek P. Fuzzy logics with noncommutative conjuctions. J. Logic Comput. 13 (2003) 469-479
12. Hájek P. Metamathematics of Fuzzy Logic (1998), Kluwer Academic Publishers, Dordrecht
13. Jisen P., and Tsinakis C. A survey of residuated lattices. In: Martinez J. (Ed). Ordered Algebraic Structures (2002), Kluwer Academic Publishers, Dordrect 19-56
14. Hoo C.S., and Sessa S. Implicative and Boolean ideals of MV-algebras. Math. Jap. 39 (1994) 215-219
15. Hoo C.S. Fuzzy implicative and Boolean ideals of MV-algebras. Fuzzy Sets Syst. 66 (1994) 315-327
16. Iséki K., and Tanaka S. Ideal theory of BCK-algebras. Math. Jap. 21 (1976) 351-366
17. Liu L.Z., and Li K.T. Fuzzy Boolean and positive implicative filters of BL-algebras. Fuzzy Sets Syst. 152 (2005) 333-348
18. 0-algebras. Inform. Sci. 171 (2005) 61-71
19. 0-algebras. Sci. Math. Jpn. 61 (2005) 423-427
20. L.Z. Liu, Research on Residuated lattice-based Logical Algebras, Thesis, Xi'an Jiaotong University, 2005.
21. Mundici M. MV-algebras are categorically equivalent to bounded commutative BCK-algebras. Math. Jpn. 31 (1986) 889-894
22. Turunen E. Boolean deductive systems of BL-algebras. Arch. Math. Logic 40 (2001) 467-473
23. Turunen E. Mathematics Behind Fuzzy Logic (1999), Physica-Verlag, Heidelberg
24. Ward M., and Dilworth R.P. Residuated lattices. Trans. Am. Math. Soc. 45 (1939) 335-354
25. Wang G.J. Non-classical Mathematical Logic and Approximate Reasoning (2000), Science Press, BeiJing
26. 0-algebras and multiple-valued logic. Fuzzy Syst. Math. 3 (2002) 1-15
27. Xu Y., and Qin K.Y. On filters of lattice implication algebras[J]. J. Fuzzy Math. 1 (1993) 251-260