首页> 中文期刊>重庆理工大学学报 >量化核证逻辑QLP概观

量化核证逻辑QLP概观

开具论文收录证明 >>

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

页面导航

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

摘要

QLP是第一个量化核证逻辑,它允许对证明项的量化.菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性.迪安和黑川用QLP分析了知道者悖论,后来又对其进行了详细的哲学分析,但阿洛-科斯塔和岸田反对这种分析.QLP的出现填补了核证逻辑在量化部分的空白,推动了核证逻辑的发展.

著录项

来源
《重庆理工大学学报》|2014年第3期|P.7-11|共5页
作者
李娜; 李巍;
展开▼
作者单位

南开大学哲学院,天津300071;

展开▼
原文格式 PDF
正文语种 CHI
中图分类逻辑学（论理学）;
关键词
核证逻辑; 量化; QLP;

相似文献

中文文献
外文文献
专利

1. 量化核证逻辑QLP概观 [J] . 李娜 ,李巍 . 重庆理工大学学报（社会科学版） . 2014,第003期
2. 核证逻辑视野中的葛梯尔反例 [J] . 刘新文 . 毕节学院学报 . 2012,第012期
3. 近30年中国大陆地区逻辑学研究与教学概观 [J] . 刘邦凡 . 教学研究 . 2014,第001期
4. 二十世纪西学东渐概观——从逻辑分析方法的引入谈起 [J] . 杜霞 . 云南社会主义学院学报 . 2012,第006期
5. 认知逻辑研究概观 [J] . 李夏妍 ,张敏强 . 首都师范大学学报（社会科学版） . 2005,第005期
6. 基于有限迁移系统的线性时态逻辑的计量化方法 [C] . 时慧娴 ,王国俊 . 中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议 . 2012
7. 经典命题逻辑中逻辑理论的计量化及应用 [A] . 王菊花 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号