ON SOME COMPUTATIONAL ALGORITHMS FOR n-FOLD IDEALS IN BCK-ALGEBRAS

  • Published : 2007.01.31

Abstract

This paper is devoted to the foldness theory of implicative ideals in BCK-algebras. We use the fuzzy point concept to give some characterizations of fuzzy n-fold implicative ideals and establish some relationships with various n-fold ideals. We also construct some algorithms for studying the foldness of implicative ideals in BCK-algebras.

Keywords