修正的RDP逻辑系统中的广义矛盾式

• 作者: 惠小静 李顺琴
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 修正的RDP逻辑系统 广义重言式 广义矛盾式 降级算法 分划
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 50-54
• 页数: 5页
• 分类号: O141.1
• 字数: 5959字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1407-0034

摘要

讨论了修正的RDP逻辑系统中的广义矛盾式，并对该系统中的广义矛盾式进行了分划；给出了修正的RDP逻辑系统中的广义矛盾式之间的一种降级算法并讨论了它的性质。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	惠小静	延安大学数学与计算机科学学院	77	347	9.0	17.0
2	李顺琴	延安大学数学与计算机科学学院	30	40	3.0	5.0