论麦金森定理及其等价命题

杜珊

首页> 中文期刊> 《华中科技大学学报（社会科学版）》 >论麦金森定理及其等价命题

论麦金森定理及其等价命题

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

麦金森定理在模态逻辑中扮演了举足轻重的作用.利用把Abs和Triv中的模态公式变为无模态公式的语法运算a与t我们可以给出麦金森定理的一个很简单的语法证明.一方面,通过这个语法证明所建立的加强的麦金森定理与波斯特完全性研究以及模态逻辑语义学中的几条基本原理等价.另一方面,麦金森定理本身清晰地提示了分裂对的两个最典型的实例,这在不完全性度的研究中是不可忽视的.

著录项

来源
《华中科技大学学报（社会科学版）》 |2005年第3期|21-25|共5页
作者
杜珊;
展开▼
作者单位

武汉大学,哲学学院,湖北,武汉,430072;

展开▼
原文格式 PDF
正文语种 chi
中图分类 O1-14;
关键词
麦金森定理; 语法证明; 波斯特完全性; (克里普克)框架; 分裂对;

相似文献

中文文献
外文文献
专利

1. 命题逻辑紧致性定理的拓扑证明与一阶逻辑紧致性定理在拓扑空间中的等价形式 [J] . 杨志红 . 郑州航空工业管理学院学报 . 1988,第003期
2. 用闭区间套定理证明实数完备性中其余五个等价命题 [J] . 张颖 . 吕梁学院学报 . 2011,第002期
3. 关于用等价无穷小量代换定理求极限的一个推广命题 [J] . 梁俊奇 ,周玉华 . 商丘师范学院学报 . 2008,第003期
4. 关于用等价无穷小量代换定理求极限的一个推广命题 [J] . 梁俊奇 ,周玉华 . 天水师范学院学报 . 2006,第005期
5. 拓扑空间到拓扑空间的集值映射的若干定理和等价命题 [J] . 刘宗谦 . 经济数学 . 2005,第001期
6. Nash平衡点存在性定理等价于Brouwer不动点定理 [C] . 俞建 ,周永辉 . 贵州省系统工程学会第三届学术年会 . 2012
7. 论艾米莉·狄金森和李清照作品中的悲剧色彩——艾米莉·狄金森和李清照诗作的比较研究 [A] . 刘玉利 . 2005

论麦金森定理及其等价命题

摘要

著录项

相似文献

相关主题

期刊订阅