On Implication Algebras Based on Lattices and Their Dual Algebras

• 关于格上蕴涵代数及其对偶代数