逻辑系统(-W),W,Wk中F(S)的一个分划及其升级算法的性质

• 作者: 吴洪博 文秋梅
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 命题演算 可达α+-重言式 分划 升级算法 α-矛盾式
• 年，卷（期）: 2000,（2）
• 所属期刊栏目: 专题研究
• 页码范围: 12-17
• 页数: 6页
• 分类号: O141.1
• 字数: 4424字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2000.02.003

摘要

研究了逻辑系统(-W),W,Wk中F(S)的分划问题及其升级算法的一些性质.分别在(-W),W,Wk中利用可达广义重言式的概念给出F(S)的一个关于同余的分划,并证明了:在(-W)(W)中,重言式不可能由对非重言式利用升级算法得到;在Wk中,对任一公式最多进行[k+1/2]次升级算法即可得到重言式.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学研究所	194	656	12.0	16.0
2	文秋梅	唐山师范学院数学系	5	52	4.0	5.0