The Logical Properties of Filters of Lattice Implication Algebra

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