命题逻辑中广义MP问题的合理解

• 作者: 周艳 李彩红 李骏
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: GMP问题 真度 支持度 合理解
• 年，卷（期）: 2010,（1）
• 所属期刊栏目: 研究、探讨
• 页码范围: 37-38,44
• 页数: 3页
• 分类号: O141.1
• 字数: 2658字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.01.012

摘要

在经典命题逻辑中基于公式的真度概念提出了公式之间的支持度.利用支持度的思想引入了广义MP问题的一种新型合理求解机制,并证明了合理解的存在性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李骏	兰州理工大学理学院	46	395	11.0	19.0
2	周艳	西安陆军学院科学文化基础教研室	11	20	3.0	4.0
3	李彩红	兰州理工大学理学院	1	0	0.0	0.0