核证逻辑相关论文
概述核证逻辑是用来分析葛梯尔反例所用到的原理,由此而得出的一些初步结论：葛梯尔推理在形式上是正确的,它属于处理部分核证的核证......
QLP是第一个量化核证逻辑,它允许对证明项的量化.菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性.迪安和黑......
核证的概念自柏拉图时代以来就是认知研究中的一个重要部分,柏拉图对知识有三个准则：核证,真,信念,但是,尽管逻辑研究者在知识和信......
