| 中文题名： | 最小命题逻辑下的可靠性和完备性 |
| 姓名： | |
| 保密级别： | 公开 |
| 论文语种： | 中文 |
| 学科代码： | 070101 |
| 学科专业： | |
| 学生类型： | 学士 |
| 学位： | 理学学士 |
| 学位年度： | 2021 |
| 学校： | 北京师范大学 |
| 校区： | |
| 学院： | |
| 第一导师姓名： | |
| 第一导师单位： | |
| 提交日期： | 2021-05-21 |
| 答辩日期： | 2021-05-16 |
| 中文关键词： | |
| 中文摘要： |
最小逻辑是一种拒绝了排中律和爆炸原理的非经典逻辑系统. 本文给出了一种利用拓扑空间诱导海廷代数的方式, 并对海廷代数的条件稍加修改,
得到了一个新的代数结构, 命名为R*-结构. 然后验证了R*-结构作为最小命题逻辑的语义的可靠性, 并通过在R*-结构上构造一些开集验证了最小逻辑上排中律和爆炸原理的语义不恒真. 进一步定义了最小命题逻辑的否定框架, 并验证了否定框架上R*-结构语义的完备性, 命名为弱完备性.
﹀
|
| 参考文献总数： | 4 |
| 插图总数： | 0 |
| 插表总数： | 0 |
| 馆藏号： | 本070101/21142 |
| 开放日期： | 2022-05-21 |
谷歌
