| 关于部分K值逻辑中的单纯可离函数集性质的一些结果 |
| |
| 引用本文： | 王婷,刘任任. 关于部分K值逻辑中的单纯可离函数集性质的一些结果[J]. 计算技术与自动化, 2004, 23(3): 32-33,72 |
| |
| 作者姓名： | 王婷 刘任任 |
| |
| 作者单位： | 湘潭大学,信息工程学院,湖南,湘潭,411105;湘潭大学,信息工程学院,湖南,湘潭,411105 |
| |
| 基金项目： | 国家自然科学基金资助项目(60083001)，湖南省自然科学基金资助项目(03JJY3099) |
| |
| 摘 要： | 在多值逻辑函数结构理论中，Sheffer函数的判定与构造是其中的一个重要的组成部分。其判定问题与函数集完备性之判定密切相关，而完备性之判定又可归结为定出其中的所有准完备集。对于部分多值逻辑，其函数集的完备性问题已彻底解决，即定出了其中的所有准完备集(共七类)，但其中的Sheffer函数之判定与构造问题尚未彻底解决。
|
| 关 键 词： | 多值逻辑 完备性 Sheffer函数 准完备集 |
| 文章编号： | 1003-6199(2004)03-0032-02 |
Some Results on the Properties of Simply Separable Function Set in Partial K-valued Logic |
| |
| WANG Ting,LIU Ren-ren. Some Results on the Properties of Simply Separable Function Set in Partial K-valued Logic[J]. Computing Technology and Automation, 2004, 23(3): 32-33,72 |
| |
| Authors: | WANG Ting LIU Ren-ren |
| |
| Abstract: | In multiple-valued logic theories, the discussion and construction for Sheffer function is an important problem. The discussion for Sheffer function and for the completeness of functions is osculated, and the solution of the later problem depends on determining all precomplete classes. For partial multiple-valued logic, the decision problem for completeness had been thoroughly solved by determining all the precomplete classes (seven species altogether), but the discussion and construction for Sheffer functions haven't been solved completely. In this paper, some properties of simply separable function set are discussed. |
| |
| Keywords: | Multiple-Valued Logic Completeness Sheffer Functions recomplete Classes |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
