The prime filter theorem of lattice implication algebras

Young Bae Jun
2001 International Journal of Mathematics and Mathematical Sciences  
Using a special setx−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
doi:10.1155/s0161171201004847 fatcat:yyl7ummclrcmbecw4dsqwdviiu