基本命题逻辑BPL带标的矢列演算系统

摘要：

构造基本命题逻辑BPL带标的矢列演算系统，该系统只有公理和逻辑规则，没有结构规则，结构规则被吸收在公理和逻辑规则中，并且所有的规则都是保持高度可逆的。证明弱化规则、收缩规则在中是保持高度可允许的，并证明切割消去定理，该系统具有弱子公式性质。

关键词：带标的矢列演算系统、基本命题逻辑、证明论

所属期刊栏目：34

分类号：B81(逻辑学(论理学))

在线出版日期：2016-08-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：72-78