Filters and Annihilators in Implication Algebras
Ivan Chajda, Radomír Halaš, Josef Zedník · Czech digital mathematics library · 1998
The concept of filter in implication algebra is characterized in term operations and also in lattice operation.The set of all filters of an implication algebra forms a complete lattice whose boolean elements are annihilators.The set of all annihilators forms a Boolean algebra.