逻辑系统Hα中的广义语义MP规则

• 作者: 于鸿丽 吴洪博
• 来源期刊: 宁夏大学学报（自然科学版）
• 学科: 数学
• 关键词: 模糊逻辑 Hα逻辑系统 广义重言式 广义语义MP规则
• 年，卷（期）: 2009,（2）
• 页码范围: 109-111,123
• 页数: 4页
• 分类号: O141.1
• 字数: 4517字
• 语种: 中文
• DOI: 10.3969/j.issn.0253-2328.2009.02.002

摘要

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

作者信息

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