纯蕴涵演算定理证明的两个能行过程

• 作者: 李晟
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 纯蕴涵演算 定理证明 能行过程
• 年，卷（期）: 2014,（11）
• 所属期刊栏目: 热点透视
• 页码范围: 21-25
• 页数: 5页
• 分类号: B81
• 字数: 4329字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2014.11.005

摘要

以不同于通常的根先证明搜索策略，从纯蕴涵演算的初始公理和初始规则出发，通过分析公理在定理证明中的作用和规律，可以得到两个实用的能行过程。这两个能行过程虽不是机械化的证明搜索程序，但有助于新程序的研发，并且可应用于数理逻辑的实际教学。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晟	南开大学哲学院	18	35	2.0	5.0