山东大学学报(理学版)

作者：赵马盼,樊丰丽,颉永建

单位：陕西师范大学数学与信息科学学院, 陕西 西安 710062

关键词：Heyting代数,布尔代数,布尔原子,替换,

基金：国家自然科学基金资助项目(61673250);陕西省自然科学基础研究计划(2020JM-274);中央高校基本科研业务费重点项目(GK201902004)

利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。

来源：2020年第5期

《山东大学学报(理学版)》期刊编辑部

查看山东大学学报(理学版)杂志2020年第5期