Generalization of integral filters in BL-algebras and \(n\)-fold integral BL-algebras. (Q898003)

The authors introduce the notion of \(n\)-fold integral filters in BL-algebras and determine the relationship between this notion and other types of \(n\)-fold filters in BL-algebras. Moreover, they introduce the notions of \(n\)-fold integral BL-algebras and \(n\)-fold obstinate BL-algebras. They show that \(n\)-fold implicative basic logic is not Gödel logic in general. Finally, they prove that a BL-algebra \(L\) is an \(n\)-fold obstinate BL-algebra if and only if \(L\) is an MV-algebra.