On $$(\overline{\in},\overline{\in} \vee \overline{q})$$-fuzzy ideals of BCI-algebras

The concepts of $$(\overline{\in},\overline{\in} \vee \overline{q})$$-fuzzy (p-, q- and a-) ideals of BCI-algebras are introduced and some related properties are investigated. In particular, we describe the relationships among ordinary fuzzy (p-, q- and a-) ideals, (∈, ∈ ∨ q)-fuzzy (p-, q- and a-) ideals and $$(\overline{\in},\overline{\in} \vee \overline{q})$$-fuzzy (p-,q- and a-) ideals of BCI-algebras. Moreover, we prove that a fuzzy set μ of a BCI-algebra X is an $$(\overline{\in},\overline{\in} \vee \overline{q})$$-fuzzy a-ideal of X if and only if it is both an $$(\overline{\in},\overline{\in} \vee \overline{q})$$-fuzzy p-ideal and an $$(\overline{\in},\overline{\in} \vee \overline{q})$$-fuzzy q-ideal. Finally, we give some characterizations of three particular cases of BCI-algebras by these generalized fuzzy ideals.

[1]  Jianming Zhan,et al.  On (⋶, ⋶ ∨ q)-fuzzy ideals of BCI-algebras , 2011, Neural Comput. Appl..

[2]  Jie Meng,et al.  Fuzzy ideals in BCI-algebras , 2001, Fuzzy Sets Syst..

[3]  J. Bae.  ON (α, β)-FUZZY IDEALS OF BCK/BCI-ALGEBRAS , 2004 .

[4]  Jie Meng,et al.  q-Ideals and a-Ideals in BCI-Algebras , 2000 .

[5]  K. Iseki.  An Algebra Related with a Propositional Calculus , 1966 .

[6]  Jun Ma,et al.  Redefined fuzzy implicative filters , 2007, Inf. Sci..

[7]  Sandeep Kumar Bhakat,et al.  (∈, ∈∨q)-fuzzy Normal, Quasinormal and Maximal Subgroups , 2000, Fuzzy Sets Syst..

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

[9]  Young Bae Jun,et al.  Fuzzy strong implicative hyper BCK-ideals of hyper BCK-algebras , 2005, Inf. Sci..

[10]  IorgulescuAfrodita.  On BCK algebras , 2008, SOCO 2008.

[11]  Afrodita Iorgulescu,et al.  Pseudo-Iséki Algebras. Connection with Pseudo-BL Algebras , 2005, J. Multiple Valued Log. Soft Comput..

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

[13]  Cheng Zhang,et al.  Generalized fuzzy groups and many-valued implications , 2003, Fuzzy Sets Syst..

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

[15]  Jianming Zhan,et al.  Some kinds of (epsilon, epsilon or q)-interval-valued fuzzy ideals of BCI-algebras , 2008, Inf. Sci..

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

[17]  K. Iseki.  On BCI-Algebras , 1980 .

[18]  Lotfi A. Zadeh,et al.  Toward a generalized theory of uncertainty (GTU) - an outline , 2005, GrC.

[19]  Jie Meng,et al.  FSI-IDEALS AND FSC-IDEALS OF BCI-ALGEBRAS , 2004 .

[20]  Sun Shin Ahn,et al.  FUZZY p-IDEALS OF BCI-ALGEBRAS WITH DEGREES IN THE INTERVAL (0,1) , 2012 .

[21]  L. Zadeh.  Fuzzy Topology. I. Neighborhood Structure of a Fuzzy Point and Moore-Smith Convergence* , 2003 .

[22]  W. Dudek.  ON GROUP-LIKE BCI-ALGEBRAS , 1988 .

[23]  Jia-Yin Peng.  On Closed Ω-fuzzy Ideals of BCI-algebras , 2008 .

[24]  K. Iseki,et al.  ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI XIV , 1966 .

[25]  Y. Jun,et al.  ON ($epsilon, epsilon vee q$)-FUZZY IDEALS OF BCI-ALGEBRAS , 2009 .

[26]  Jie Meng,et al.  On fuzzy ideals in BCK/BCI-algebras , 2005, Fuzzy Sets Syst..

[27]  Sun Shin Ahn,et al.  FUZZY $q$ -IDEALS OF BCI-ALGEBRAS WITH DEGREES IN THE INTERVAL (0, 1] , 2012 .

[28]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[29]  Bijan Davvaz,et al.  (∈, ∈ ∨ q)-fuzzy subnear-rings and ideals , 2006, Soft Comput..

[30]  Y. Jun.  On (α,β)-fuzzy subalgebras of BCK/BCI-algebras , 2005 .

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

[32]  Zhu Rong,et al.  Fuzzy Commutative Ideals in BCK-algebras , 2003 .

[33]  Lei Tiande.  p-radical in BCI-algebras , 1985 .

[34]  Bijan Davvaz,et al.  Redefined fuzzy Hv-submodules and many valued implications , 2007, Inf. Sci..

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

[36]  Yang Xu,et al.  BCI-implicative ideals of BCI-algebras , 2007, Inf. Sci..

[37]  S. K. Bhakat,et al.  (ε Ɛ V Q)-fuzzy Subgroup , 1996, Fuzzy Sets Syst..