弱逻辑F的矢列演算

摘要：

本文建立起弱逻辑F的G3-型矢列演算G3F,并证明弱化规则、收缩规则和切割规则在G3F中是可容许的.此外,本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将G3F嵌入到G3K的新证明.

关键词：严格蕴涵逻辑、亚直觉主义逻辑、切割消去定理

所属期刊栏目：14

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

资助基金：国家社科基金重大项目17ZDA026

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

页数：共21页

页码：28-48