格的正规完备化的Boolean性

作者：江碧霞; 徐晓泉

来源：模糊系统与数学, 2019, 33(06): 161-164.

• Boolean代数
• Heyting代数
• 正规完备化

引入了E-Heyting偏序集和伪补交半格的概念,证明了若B=(B,∨,∧,0,1)为有0,1的格,则B为Boolean代数当且仅当B为Heyting且其正规完备化为Boolean代数,当且仅当B为伪补交半格且其正规完备化为Boolean代数。

• 单位
  江西师范大学