Abstract

Using a special set x1F, we give an equivalent condition for a filter to be prime, and applying this result, we provide the prime filter theorem in lattice implication algebras