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

• 作者: 陈钰
• 来源期刊: 贵州工程应用技术学院学报
• 学科: 哲学
• 关键词: 带标的矢列演算系统 基本命题逻辑 证明论
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 逻辑学专栏
• 页码范围: 72-78
• 页数: 7页
• 分类号: B81
• 字数: 4419字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈钰	西南大学政治与公共管理学院	2	0	0.0	0.0