| 部分K值逻辑中正则可离函数集的一些结果 |
| |
| 引用本文： | 刘玉珍,刘任任. 部分K值逻辑中正则可离函数集的一些结果[J]. 计算机工程与应用, 2006, 42(9): 48-49,72 |
| |
| 作者姓名： | 刘玉珍 刘任任 |
| |
| 作者单位： | 湘潭大学信息工程学院,湖南,湘潭,411105;湘潭大学信息工程学院,湖南,湘潭,411105 |
| |
| 基金项目： | 中国科学院资助项目;湖南省自然科学基金 |
| |
| 摘 要： | 根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。
|
| 关 键 词： | 多值逻辑 完备性 Sheffer函数 极大封闭集(准完备集) 最小覆盖 |
| 文章编号： | 1002-8331-（2006）09-0048-02 |
| 收稿时间： | 2005-08-01 |
| 修稿时间： | 2005-08-01 |
Some Results on Regular Separable Function Sets in Partial K-valued Logic |
| |
| Liu Yuzhen,Liu Renren. Some Results on Regular Separable Function Sets in Partial K-valued Logic[J]. Computer Engineering and Applications, 2006, 42(9): 48-49,72 |
| |
| Authors: | Liu Yuzhen Liu Renren |
| |
| Affiliation: | College of Information Engineering, Xiangtan University, Xiangtan, Hunan 411105 |
| |
| Abstract: | According to the completeness theory of partial K-valued logic,it is proved that if let the basic graph of the regular separable relation G2=G2({1,2})∪22 be connected and if it contains a cycle which must be M-cycle under the condition of m=2 and =e.Then T(G2) is not in the minimal covering of Pk. |
| |
| Keywords: | multiple-valued logic completeness Sheffer function maximal closed sets(precomplete sets) minimal covering |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
