弱逻辑 F 的矢列演算
发布人：网站编辑
发布日期：2023-01-09
逻辑学研究 2021 年第 1 期，28–48 文章编号：1674-3202(2021)-01-0028-21
作者：陈钰
摘 要：本文建立起弱逻辑 F 的 G3-型矢列演算 G3F，并证明弱化规则、收缩规则和切割规则在 G3F 中是可容许的。此外，本文还运用证明论的方法给出一个通过哥德尔–麦金西–塔斯基翻译将 G3F 嵌入到 G3K 的新证明。
关键词：严格蕴涵逻辑；亚直觉主义逻辑；切割消去定理
中图分类号：B81 文献标识码：A