| 系统Ha中广义语义MP规则与广义语义HS规则 |
| |
| 引用本文： | 关晓红,折延宏,王国俊.系统Ha中广义语义MP规则与广义语义HS规则[J].陕西师范大学学报,2007,35(1):9-12,33. |
| |
| 作者姓名： | 关晓红 折延宏 王国俊 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院 陕西西安710062 |
| |
| 摘 要： | 基于一类带参数a的0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0
|
| 关 键 词： | 多值逻辑系统 重言式 广义语义MP规则 广义语义HS规则 分划 |
| 文章编号： | 1672-4291（2007）01-0009-04 |
| 修稿时间： | 2006-08-18 |
Generalized semantic MP rules and generalized semantic HS rules of the system Ha |
| |
| GUAN Xiao-hong,SHE Yan-hong,WANG Guo-jun.Generalized semantic MP rules and generalized semantic HS rules of the system Ha[J].Journal of Shaanxi Normal University: Nat Sci Ed,2007,35(1):9-12,33. |
| |
| Authors: | GUAN Xiao-hong SHE Yan-hong WANG Guo-jun |
| |
| Abstract: | |
| |
| Keywords: | many-valued logic system tautology generalized semantic MP rule generalized semantic HS rule partition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
