Prime Dual Ideals of Lattice Implication Algebra

• 格蕴涵代数的素对偶理想