|
|||||
|
|
| 系统Hα中的子代数的广义重言式理论 | |
| 作者姓名： | 李顺琴 王国俊 |
| 作者单位： | 1.延安大学 数学与计算机科学学院，陕西 延安 716000 ;2.陕西师范大学 数学研究所，西安 710062 |
| 摘 要： | 将多值逻辑系统Hα（0≤α≤1）中的广义重言式理论进行推广，讨论其序稠密子代数的广义重言式理论，利用可达广义重言式概念在系统H1/2的序稠密子代数中给出F（S）的一个分划，并把系统H1/2中的相关结论推广到系统Hα（0≤α≤1）中。 |
| 关 键 词： | 多值逻辑系统 广义重言式 子代数 分划 |
| 收稿时间： | 2009-03-09 |
| 修稿时间： | 2009-4-27 |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 | |
| 点击此处可从《计算机工程与应用》下载免费的PDF全文 | |