逻辑系统W,W,Wk中的广义语义HS规则和广义语义MP规则

• 作者: 吴洪博
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 模糊逻辑 修正的Kleene逻辑系统 广义重言式 广义语义HS规则 广义语义MP规则
• 年，卷（期）: 2003,（4）
• 所属期刊栏目: 模糊集理论
• 页码范围: 60-66
• 页数: 7页
• 分类号: O141.1
• 字数: 6998字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2003.04.009

摘要

研究模糊命题演算的形式演绎系统L·及在语义上相关的修正的Kleene逻辑系统,W,Wk,引入语义[α]-MP规则,语义[α+]-MP规则,语义[α]-HS规则,语义[α+]-HS规则等概念,并对这些规则的性质进行讨论,进一步加强该系统中的Σ-(α-重言式)的相应结果,丰富该系统中Σ-(α-重言式)的内容,为进一步研究该系统提供一个有益的工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0