On n-fold implicative filters of lattice implication algebras

Abstract

We introduce the notion of n-fold implicative filters and n-fold implicative lattice implication algebras. We give characterizations of n-fold implicative filters and n-fold implicative lattice implication algebras. Finally, we construct an extension property for n-fold implicative filter.