修正的RDP系统中的一种升级算法及其性质

• 作者: 李顺琴
• 来源期刊: 云南师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 修正的RDP逻辑系统 广义重言式 分划 升级算法
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 数学
• 页码范围: 34-38
• 页数: 5页
• 分类号: O141.1
• 字数: 2356字
• 语种: 中文
• DOI: 10.7699/j.ynnu.ns-2015-076

摘要

通过对修正的RDP逻辑系统的研究,给出该系统中F(S)关于～同余的一个分划;并给出修正的RDP系统中广义重言式之间的一种升级算法及其性质,证明在修正的RDP系统中,重言式不可能由对非重言式进行有限次升级算法得到.

作者信息

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