中介命题扩张系统MP*推理规则集的简化

• 作者: 莫志浩
• 来源期刊: 南京航空航天大学学报
• 关键词: 中介系统 推理规则 中介命题系统MP 中介命题扩张系统MP* 命题联结词 推理规则的简化
• 年，卷（期）: 2001,（2）
• 页码范围: 149-154
• 页数: 6页
• 字数: 3292字
• 语种: 中文
• DOI: 10.3969/j.issn.1005-2615.2001.02.011

摘要

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP*、中介谓词演算系统MF及其扩张系统MF*，以及带等词的中介谓词演算系统ME*组成。本文讨论中介命题扩张系统MP*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	莫志浩	解放军理工大学理学院	6	6	1.0	2.0