| 弱逻辑F的矢列演算 |
| |
| 引用本文： | 陈钰. 弱逻辑F的矢列演算[J]. 逻辑学研究, 2021, 0(1) |
| |
| 作者姓名： | 陈钰 |
| |
| 作者单位： | 清华大学哲学系 |
| |
| 基金项目： | 国家社科基金重大项目(17ZDA026)。 |
| |
| 摘 要： | 本文建立起弱逻辑F的G3-型矢列演算G3F,并证明弱化规则、收缩规则和切割规则在G3F中是可容许的。此外,本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将G3F嵌入到G3K的新证明。
|
| 关 键 词： | 严格蕴涵逻辑 亚直觉主义逻辑 切割消去定理 |
Sequent Calculus for Weak Logic F |
| |
| Yu Chen. Sequent Calculus for Weak Logic F[J]. Studies in Logic, 2021, 0(1) |
| |
| Authors: | Yu Chen |
| |
| Affiliation: | (Department of Philosophy,Tsinghua University) |
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
