正规完备化论文

格的正规完备化的Boolean性
论文摘要引入了E-Heyting偏序集和伪补交半格的概念,证明了若B=（B,∨,∧,0,1）为有0,1的格,则B为Boolean代数当且仅当B为Heyting且其正规完备化为B...