|
|||||
|
|
| 系统H_α中的子代数的广义重言式理论 | |
| 引用本文： | 李顺琴,王国俊.系统H_α中的子代数的广义重言式理论[J].计算机工程与应用,2010,46(8). |
| 作者姓名： | 李顺琴 王国俊 |
| 作者单位： | 1. 延安大学,数学与计算机科学学院,陕西,延安,716000 2. 陕西师范大学,数学研究所,西安,710062 |
| 基金项目： | 国家自然科学基金Grant No.10331010;;延安大学基金(No.YDK2007-28)~~ |
| 摘 要： | 将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。 |
| 关 键 词： | 多值逻辑系统 广义重言式 子代数 分划 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |