CONSTRUCTION OF QUOTIENT BCI(BCK)-ALGEBRA VIA A FUZZY IDEAL

  • Liu, Yong-Lin (Department of Mathematics, Nanping Teachers College) ;
  • Jie Meng (Department of Mathematics, Northwest University)
  • Published : 2002.09.01

Abstract

The present paper gives a new construction of a quotient BCI(BCK)-algebra X/${\mu}$ by a fuzzy ideal ${\mu}$ in X and establishes the Fuzzy Homomorphism Fundamental Theorem. We show that if ${\mu}$ is a fuzzy ideal (closed fuzzy ideal) of X, then X/${\mu}$ is a commutative (resp. positive implicative, implicative) BCK(BCI)-algebra if and only if It is a fuzzy commutative (resp. positive implicative, implicative) ideal of X Moreover we prove that a fuzzy ideal of a BCI-algebra is closed if and only if it is a fuzzy subalgebra of X We show that if the period of every element in a BCI-algebra X is finite, then any fuzzy ideal of X is closed. Especiatly, in a well (resp. finite, associative, quasi-associative, simple) BCI-algebra, any fuzzy ideal must be closed.

Keywords

References

  1. J.Fujian Teachers Univ. v.3 no.2 The direct product theory of well BCI-algebras Z.M.Chen
  2. Math.Sem.Notes v.8 On BCI-algebra satisfying (x*y)*z=x*(y*z) Q.P.Hu;K.Iseki
  3. Proc.Japan Academy v.42 On axiom systems of propositional calculi XIV Y.Imai;K.Iseki
  4. Proc.Japan Academy v.42 An algebra related with a propositional calculus K.Iseki
  5. Math. Japon. v.23 An introduction to the theory of BCK-algebras K.Iseki
  6. Math. Japon. v.38 Closed fuzzy ideals in BCI-algebras Y.B.Jun
  7. Math. Japon. v.40 Characterizations of fuzzy positive implicative ideals in BCK-algebras Y.B.Jun;S.M.Hong;J.Meng;X.L.Xin
  8. Comm. Korean Math. Soc. v.9 Fuzzy commutative ideals in BCI-algebras Y.B.Jun
  9. Fuzzy Sets Syst. v.64 Fuzzy commutative ideals of BCK-algebras Y.B.Jun
  10. J.Math.Study v.28 no.1 Some results on simple BCI-algebras Y.L.Liu;D.H.Lin
  11. Fuzzy Sets Syst. v.123 Fuzzy ideals in BCI-algebras Y.L.Lin;J.Meng
  12. J.Fuzzy Math. v.8 Fuzzy q-ideals of BCI-algebras Y.L.Lin;J.Meng
  13. Math.Japon. v.40 On ideals in BCK-algebras J.Meng
  14. Fuzzy Sets Syst. v.89 Fuzzy implicative ideals of BCK-algebras J.Meng;Y.B.Jun;H.S.Kim
  15. Math.Japon v.37 Commutative BCI-algebras J.Meng;X.L.Xin
  16. Pure Appl.Math. v.9 no.1 Positive implicative BCI-algebras J.Meng;X.L.Xin
  17. Southeast Asian Bull.Math. v.23 Quotient BCK-algebra induced by a fuzzy ideal J.Meng;X.L.Xin;Y.S.Pu
  18. Math.Japon v.38 Periodic BCI-algebras and closed ideals J.Meng;S.M.Wei
  19. Math.Japon v.38 Periods of elements in BCI-algebras J.Meng;S.M.Wei
  20. Math.Japon v.35 On a class of BCI-algebras C.C.Xi
  21. Math.Japon v.36 Fuzzy BCK-algebras O.G.Xi
  22. Inform.Control v.8 Fuzzy sets L.A.Zadeh
  23. Korean J. Comput. and Appl. Math. v.8 Product of fuzzy $H_v$-ideals in $H_v$-rings B. Davvaz