| 部分K值逻辑中最小覆盖之判定的一些结果 |
| |
| 引用本文： | 刘玉珍,刘任任. 部分K值逻辑中最小覆盖之判定的一些结果[J]. 计算机工程与应用, 2007, 43(23): 38-39 |
| |
| 作者姓名： | 刘玉珍 刘任任 |
| |
| 作者单位： | 湘潭大学,信息工程学院,湖南,湘潭,411105;湘潭大学,信息工程学院,湖南,湘潭,411105 |
| |
| 基金项目： | 国家自然科学基金 , 湖南省自然科学基金 , 湘潭大学校科研和教改项目 |
| |
| 摘 要： | 根据部分K值逻辑完备性理论，证明了当m=2，σ=e时，若正则可离关系G2=G2（{1，2}）∪G2之关系图的基础图仅为N图，则T（G2）不是PK*的最小覆盖成员。
|
| 关 键 词： | 多值逻辑 完备性 Sheffer函数 极大封闭集(准完备集) 最小覆盖 |
| 文章编号： | 1002-8331（2007）23-0038-02 |
| 修稿时间： | 2006-08-01 |
Some results on decision for minimal covering in partial K-valued logic |
| |
| LIU Yu-zhen,LIU Ren-ren. Some results on decision for minimal covering in partial K-valued logic[J]. Computer Engineering and Applications, 2007, 43(23): 38-39 |
| |
| Authors: | LIU Yu-zhen LIU Ren-ren |
| |
| Affiliation: | College of Information Engineering，Xiangtan University，Xiangtan，Hunan 411105，China |
| |
| 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}）∪G2 be N-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 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
