格蕴涵代数的素对偶理想

摘要

在格蕴涵代数中定义了一类特殊的素对偶理想,讨论了它们的结构和性质,证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定,并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数,它和原格蕴涵代数具有格蕴涵代数同构关系。