G(o)del系统中一种降级算法及性质

• 作者: 吴洪博
• 来源期刊: 四川大学学报(自然科学版)
• 学科: 数学
• 关键词: 模糊逻辑 G(o)del逻辑系统 广义矛盾式 降级算法
• 年，卷（期）: 2003,（6）
• 页码范围: 997-1001
• 页数: 5页
• 分类号: O141.1
• 字数: 4216字
• 语种: 中文
• DOI: 10.3969/j.issn.0490-6756.2003.06.001

摘要

与G(o)del系统中广义重言式之间的一种升级算法相对应,作者给出了G(o)del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G(o)del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G(o)del系统的研究提供了帮助.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学研究所	194	656	12.0	16.0