弱逻辑F的矢列演算  

Sequent Calculus for Weak Logic F

作　　者：陈钰 Yu Chen(Department of Philosophy,Tsinghua University)

机构地区：[1]清华大学哲学系

出　　处：《逻辑学研究》2021年第1期28-48,共21页Studies in Logic

基　　金：国家社科基金重大项目(17ZDA026)。

摘　　要：本文建立起弱逻辑F的G3-型矢列演算G3F,并证明弱化规则、收缩规则和切割规则在G3F中是可容许的。此外,本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将G3F嵌入到G3K的新证明。In the present paper,we propose a G3-style sequent calculus G3 F for weak logic F.We show that the structural rules(weakening,contraction and cut rule)are admissible in G3 F.And a proof-theoretic embedding from G3 F into G3 K via G?del–McKinsey–Tarski translation is also established.

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

分 类 号：B81[哲学宗教—逻辑学]