| 关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果 |
| |
| 引用本文： | 刘玉珍,刘任任. 关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果[J]. 海军工程大学学报, 2004, 16(5): 17-20 |
| |
| 作者姓名： | 刘玉珍 刘任任 |
| |
| 作者单位： | 湘潭大学,信息工程学院,湖南,湘潭,411105 |
| |
| 基金项目： | 国家自然科学基金资助项目(60083001)，湖南省自然科学基金资助项目(03JJY3099) |
| |
| 摘 要： | 根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.
|
| 关 键 词： | 多值逻辑 完备性 Sheffer函数 极大封闭集(准完备集) 最小覆盖 |
| 文章编号： | 1009-3486(2004)05-0017-04 |
| 修稿时间： | 2004-05-19 |
Some results on decision for minimal covering of regular separable function sets in partial K-valued logic |
| |
| LIU Yu-zhen,LIU Ren-ren. Some results on decision for minimal covering of regular separable function sets in partial K-valued logic[J]. Journal of Naval University of Engineering, 2004, 16(5): 17-20 |
| |
| Authors: | LIU Yu-zhen LIU Ren-ren |
| |
| Abstract: | |
| |
| Keywords: | multiple-valued logic completeness Sheffer functions maximal closed sets (precomplete sets) minimal covering |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
