Gainse-Rescher逻辑系统中的广义重言式理论

• 作者: 吴洪博 阎满富
• 来源期刊: 四川大学学报（自然科学版）
• 学科: 数学
• 关键词: 模糊逻辑 命题演算 可达a+-重言式 a-矛盾式 升级算法 分划
• 年，卷（期）: 2000,（5）
• 页码范围: 675-682
• 页数: 8页
• 分类号: O141.1
• 字数: 5863字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2000.05.007

摘要

将王国俊教授在逻辑系统W,W,Wk中的广义重言式理论进行推广,并应用到了Gainse-Rescher逻辑系统Gr,Gr,Sn中.主要结果是:在逻辑系统Gr,Gr中,重言式不可能由对非重言式进行有限次升级算法得到;在逻辑系统Sn中,对任一公式最多进行n次升级算法即可得到重言式;利用可达广义重言式概念和α-矛盾式概念分别在Gr,Gr,Sn中给出了F(S)的一个关于一同余的分划.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阎满富	唐山师范学院数学系	19	78	4.0	8.0
2	吴洪博	四川大学数学学院	4	45	4.0	4.0