格蕴涵代数上的相对零化子

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