逻辑系统RDP中广义重言式的语义MP、HS规则

• 作者: 惠小静 郝国平
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: RDP逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 模糊集理论
• 页码范围: 1-5
• 页数: 5页
• 分类号: O141
• 语种: 中文

摘要

将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2-)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP,1/2-HS规则不成立.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	惠小静		77	347	9.0	17.0
2	郝国平		2	0	0.0	0.0