L*n系统中α-反向FMP和α-反向FMT问题的解

• 作者: 刘东利
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: α-反向FMP问题 α-反向FMT问题 逻辑命题系统L*n
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 理论与研发
• 页码范围: 26-29
• 页数: 4页
• 分类号: O141.1
• 字数: 4006字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1510-0299

摘要

提出了α-反向FMP、多重α-反向FMP,以及α-反向FMT和多重α-反向FMT问题.通过在F(S)中引入一个预序,在L*n系统中,给出了上述问题的解.并说明了这些解从形式上和α-反向三I算法的结果一致,从而在逻辑系统L*n中建立了反向三I算法的形式化推理机制.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘东利	集美大学诚毅学院	9	22	3.0	4.0