Computational methods for study of foldness of H-ideals in BCI-algebras (Q2466753): Difference between revisions

A subset \(A\) of a BCI-algebra \(G\) is called \(n\)-fold H-ideal if it contains \(0\) and there exists a fixed natural \(n\) such that \(x(yz)\in A\) and \(y\in A\) imply \(xz\in A\). Properties of such ideals are described by fuzzy points. Some algorithms for the study of foldness theory of H-ideals are presented.