当前位置:首页 > 科技文档 > 数学 > 正文

格的正规完备化的Boolean性

模糊系统与数学 页数: 4 2019-12-15
摘要: 引入了E-Heyting偏序集和伪补交半格的概念,证明了若Bu003d(B,∨,∧,0,1)为有0,1的格,则B为Boolean代数当且仅当B为Heyting且其正规完备化为Boolean代数,当且仅当B为伪补交半格且其正规完备化为Boolean代数。 (共4页)

开通会员,享受整站包年服务
说明: 本文档由创作者上传发布,版权归属创作者。若内容存在侵权,请点击申诉举报