实现定理相关硕士博士期刊学术论文

核证逻辑建立在经典命题逻辑的基础之上,但是增加了这样的核证断言t:F(被读作t是F的一个核证)。本文主要研究核证逻辑的历史、理论......