修正的Kleene系统中的广义重言式理论

• 作者: 吴洪博
• 来源期刊: 中国科学E辑
• 学科: 数学
• 关键词: 逻辑系统 可达α+-重言式 升级算法 分划 α-矛盾式
• 年，卷（期）: 2002,（2）
• 页码范围: 224-229
• 页数: 6页
• 分类号: O1
• 字数: 5689字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-9275.2002.02.011

摘要

将王国俊修正的Kleene系统中引入的广义重言式理论进行扩充和推广,引入了可达α+-重言式等概念. 主要结果是: (1) 分别在系统, W和Wk中得到了公式集F(S)关于同余的分划;(2) 在系统Wk中,对任一公式最多进行(k+1)/(2)次升级算法即可得到重言式;(3) 在(W)中,重言式不可能由对非重言式进行有限次升级算法得到;(4) 在系统(W)中,(1)/(2)+-MP规则成立.