|
|||||
|
|
| 关于部分K值逻辑Sheffer函数(Ⅰ) | |
| 引用本文： | 欧阳建权,刘任任.关于部分K值逻辑Sheffer函数(Ⅰ)[J].湘潭大学自然科学学报,2000,22(3):5-10. |
| 作者姓名： | 欧阳建权 刘任任 |
| 作者单位： | 湘潭大学信息工程学院,湘潭,411105 |
| 基金项目： | 湖南省自然科学基金!资助项目 (97JJN2 0 2 7) |
| 摘 要： | 根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类正则可离函数集在Ｐ＾＊Ｋ中极大封闭集之最小覆盖中必需出现。 |
| 关 键 词： | 多值逻辑 完备性 Sheffer函数 极大封闭集 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |