格蕴涵代数中滤子的若干性质

• Some Properties of Filters in Lattice Implication Algebras