系统Ha中广义语义MP规则与广义语义HS规则

• 作者: 关晓红 折延宏 王国俊
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 多值逻辑系统 重言式 广义语义MP规则 广义语义HS规则 分划
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 专题研究
• 页码范围: 9-12,33
• 页数: 5页
• 分类号: O1
• 字数: 3598字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2007.01.003

摘要

基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=1/2时的多值逻辑系统H1/2.以H1/2为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H1/2中的各类广义语义MP规则与广义语义HS规则,并把系统H1/2中的相关结论推广到系统Ha(0＜a＜1)中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0
2	关晓红	陕西师范大学数学与信息科学学院	3	2	1.0	1.0
3	折延宏	陕西师范大学数学与信息科学学院	5	49	2.0	5.0