加名字核证逻辑的极小系统

摘要：

美国逻辑学家M·斐汀在2010年对核证逻辑与混合逻辑的组合进行了初步尝试,给出了第一个混合版本的核证逻辑系统JT及其完全性和显式性定理的证明.(cf.Fitting,2010)由于技术原因,这个逻辑在证明内在化定理时要用到对自返性典范的事实公理,所以它还不是这一族逻辑中最小的系统.本文旨在把斐汀建立的逻辑弱化到核证逻辑J的对应,给出该族逻辑的一个极小系统,进而简化系统JT的元定理证明,从而解决斐汀在其文章最后提出来的一个主要问题.

机标关键词：极小系统、核证逻辑

分类号：O189.1;O192;B81

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

页码：112-118