格蕴涵代数中滤子的逻辑性质

• The Logical Properties of Filters of Lattice Implication Algebra