The prime filter theorem of lattice implication algebras
Young Bae Jun1
Received23 Mar 2000
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