Algorithms and computations for foldedness of P-ideals in BCI-algebras

In this paper, we introduce the notion of n-folds P-ideals in BCI-algebras which is a natural generalization of P-ideals in BCI-algebras. Via the concept of fuzzy point, we establish several characterizations of n-fold and fuzzy n-fold P-ideals in BCI-algebras. Furthermore, we construct some algorithms for folding theory applied to P-ideals in BCI-algebras.