| 部分三值逻辑中Sheffer函数的判定算法 |
| |
| 引用本文： | 何骞,刘任任. 部分三值逻辑中Sheffer函数的判定算法[J]. 计算机工程与应用, 2009, 45(19): 52-54. DOI: 10.3778/j.issn.1002-8331.2009.19.015 |
| |
| 作者姓名： | 何骞 刘任任 |
| |
| 作者单位： | 湘潭大学,信息工程学院,湖南,湘潭,411105;湘潭大学,信息工程学院,湖南,湘潭,411105 |
| |
| 基金项目： | 国家自然科学基金，湖南省教育厅重点项目 |
| |
| 摘 要： | 根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。
|
| 关 键 词： | 多值逻辑 准完备集 最小覆盖 Sheffer函数 |
| 收稿时间： | 2008-04-18 |
| 修稿时间： | 2008-7-10 |
Determinant algorithm of Sheffer function in partial three-valued logic |
| |
| HE Qian,LI Ren-ren. Determinant algorithm of Sheffer function in partial three-valued logic[J]. Computer Engineering and Applications, 2009, 45(19): 52-54. DOI: 10.3778/j.issn.1002-8331.2009.19.015 |
| |
| Authors: | HE Qian LI Ren-ren |
| |
| Affiliation: | HE Qian,LIU Ren-ren.Institute of Information Engineering,Xiangtan University,Xiangtan,Hunan 411105,China |
| |
| Abstract: | The determinant algorithm of the Sheffer function in partial three-valued Logic is given,based on the completeness theory in partial k-valued logic and the minimal covering of precomplete sets in partial three-valued logic. |
| |
| Keywords: | multiple-valued logic precomplete sets minimal covering Sheffer function |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
|
