|
|||||
|
|
| Heyting代数的布尔原子及其应用 | |
| 作者姓名： | 赵马盼 樊丰丽 颉永建 |
| 作者单位： | 陕西师范大学数学与信息科学学院,陕西 西安710062;陕西师范大学数学与信息科学学院,陕西 西安710062;陕西师范大学数学与信息科学学院,陕西 西安710062 |
| 基金项目： | 国家自然科学基金;陕西省自然科学基础研究计划;中央高校基本科研业务费专项重点项目 |
| 摘 要： | 利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。 |
| 关 键 词： | Heyting代数 布尔代数 布尔原子 替换 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |