格的正规完备化的Boolean性
引入了E-Heyting偏序集和伪补交半格的概念,证明了若B=(B,∨,∧,0,1)为有0,1的格,则B为Boolean代数当且仅当B为Heyting且其正规完备化为Boolean代数,当且仅当B为伪补交半格且其正规完备化为Boolean代数.
Boolean代数、Heyting代数、正规完备化
33
O159(代数、数论、组合理论)
国家自然科学基金;江西省"赣鄱英才555工程"领军人才培养计划;江西省自然科学基金
2020-04-26(万方平台首次上网日期,不代表论文的发表时间)
共4页
161-164