期刊屋 > 政法

弱逻辑F的矢列演算

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