弱逻辑F的矢列演算

作者：陈钰

来源：逻辑学研究, 2021, 14(01): 28-48.

• 严格蕴涵逻辑
• 亚直觉主义逻辑
• 切割消去定理

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

• 单位
  清华大学