量化核证逻辑QLP概观

摘要：

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

关键词：核证逻辑、量化、QLP

所属期刊栏目：28

分类号：B81(逻辑学(论理学))

在线出版日期：2014-04-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：7-11