Heyting代数的布尔原子及其应用

作者：赵马盼; 樊丰丽; 颉永建^*

来源：山东大学学报(理学版), 2020, 55(05): 71-80.

• Heyting代数
• 布尔代数
• 布尔原子
• 替换

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

• 单位
  陕西师范大学