格蕴涵代数上的相对零化子
The relative annihilator in lattice implication algebras

在格蕴涵代数中，提出对合理想的概念，证明全体对合理想之集是一个完备Boolean格；继而提出相对零化子概念，研究它的若干性质，证明相对于某一固定点的全体零化子之集是一个完备格；并用相对零化子给出理想的一个分解定理，证明格蕴涵代数的素理想定理