| 部分四值逻辑准完备集最小覆盖之确定——保四元单纯可离关系的成员 |
| |
| 引用本文： | 顾思思,陈玮. 部分四值逻辑准完备集最小覆盖之确定——保四元单纯可离关系的成员[J]. 邵阳学院学报(自然科学版), 2009, 6(1): 54-57 |
| |
| 作者姓名： | 顾思思 陈玮 |
| |
| 作者单位： | 邵阳学院,信息工程系,湖南,邵阳,422000 |
| |
| 摘 要： | 根据部分K值逻辑的完备性理论，定出并证明了属于准完备集最小覆盖的保四元单纯可离关系函数集．
|
| 关 键 词： | 部分多值逻辑 单纯可离关系 最小覆盖 |
The Decision of Minimal Covering of Precomplete Classes in Partial Four-Valued Logic——the member of Preserving Quaternary Simply Separable Relations |
| |
| GU Si-si,CHEN Wei. The Decision of Minimal Covering of Precomplete Classes in Partial Four-Valued Logic——the member of Preserving Quaternary Simply Separable Relations[J]. Journal of Shaoyang University(Natural Science Edition), 2009, 6(1): 54-57 |
| |
| Authors: | GU Si-si CHEN Wei |
| |
| Affiliation: | (Dept.of lnformation, Shaoyang University, Shaoyang, Hunan 422000) |
| |
| Abstract: | According to the completeness theory in partial k-valued logic, all function sere preserving quatemary simply separable relations in P4^＊ is determined and proved to be minimal coveting component of precomplete classes. |
| |
| Keywords: | partial multi-valued logic simply separable relation minimal coveting |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
