The prime filter theorem of lattice implication algebras

Abstract

Using a special set x−1F, 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