Fuzzy Boolean and positive implicative filters of BL-algebras

The aim of this paper is to introduce the notions of fuzzy Boolean filters and fuzzy positive implicative filters in BL-algebras and to investigate their properties. Several characterizations of fuzzy Boolean filters and fuzzy positive implicative filters are derived. The extension theorems of fuzzy Boolean filters and fuzzy positive implicative filters are obtained. The relation between fuzzy Boolean filters and fuzzy positive implicative filters is investigated and it is proved that every fuzzy Boolean filter is a fuzzy positive implicative filter, but the converse may not be true. Furthermore, the conditions under which a fuzzy positive implicative filter is a fuzzy Boolean filter are established.

[1]  D. Mundici.  MV-algebras are categorically equivalent to bounded commutative BCK-algebras , 1986 .

[2]  K. Iseki,et al.  AN INTRODUCTION TO THE THEORY OF THE BCK-ALGEBRAS , 1978 .

[3]  Y. Xu,et al.  Fuzzy lattice implication algebras , 1995 .

[4]  Yiquan Zhu,et al.  ON FUZZY IMPLICATIVE FILTERS OF LATTICE IMPLICATION ALGEBRAS , 2003 .

[5]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[6]  A. Iorgulescu.  SOME DIRECT ASCENDENTS OF WAJSBERG AND MV ALGEBRAS , 2003 .

[7]  C. S. Hoo,et al.  Fuzzy implicative and Boolean ideals of MV -algebras , 1994 .

[8]  Y. Xu.  Lattice implication algebras , 1993 .

[9]  Bobby Schmidt,et al.  Fuzzy math , 2001 .

[10]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[11]  C. Chang,et al.  Algebraic analysis of many valued logics , 1958 .

[12]  Young Bae Jun,et al.  Fuzzy positive implicative and fuzzy associative filters of lattice implication algebras , 2001, Fuzzy Sets Syst..

[13]  Kaitai Li,et al.  Fuzzy filters of BL-algebras , 2005, Inf. Sci..

[14]  Michiro Kondo,et al.  Fuzzy congruence on BCI-algebras , 2003 .

[15]  M. Aslam.  Ideal theory of BCK-algebra , 1976 .

[16]  E. Turunen.  Mathematics Behind Fuzzy Logic , 1999 .

[17]  Esko Turunen,et al.  Boolean deductive systems of BL-algebras , 2001, Arch. Math. Log..

[18]  Y. Jun,et al.  Some operations on lattice implication algebras , 2001, International Journal of Mathematics and Mathematical Sciences.

[19]  Y. Jun.  Implicative filters of lattice implication algebras , 1997 .