逻辑系统Hα中广义语义MP规则证明的改进

• 作者: 于鸿丽 吴洪博
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 模糊逻辑 Hα逻辑系统 广义重言式 广义语义MP规则
• 年，卷（期）: 2010,（22）
• 页码范围: 52-53,87
• 分类号: O141.1
• 字数: 3408字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.22.018

摘要

将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α+]-MP)规则,使得对Hα系统中的广义语义MP规则有了更进一步的认识.另外,逻辑系统W中的广义语义MP规则也成为一个特例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	于鸿丽	西安文理学院数学系	29	34	3.0	4.0