|
|||||
|
|
| 关于部分K值逻辑Sheffer函数(Ⅳ) | |
| 引用本文： | 李舒,刘任任.关于部分K值逻辑Sheffer函数(Ⅳ)[J].长沙交通学院学报,2004,20(4):3-7. |
| 作者姓名： | 李舒 刘任任 |
| 作者单位： | 1. 深圳大学,信息工程学院,广东,深圳,518060 2. 湘潭大学,信息工程学院,湖南,湘潭,411105 |
| 基金项目： | 国家自然科学基金，湖南省自然科学基金 |
| 摘 要： | 根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P*k在的极大封闭集之最小覆盖中不出现,另一类在P*k的极大封闭集之最小覆盖中必须出现. |
| 关 键 词： | 多值逻辑 完备性 Sheffer函数 极大封闭集 |
| 文章编号： | 1000-9779(2004)04-0003-05 |
| 修稿时间： | 2004年4月30日 |
On Sheffer Functions with Partial K-Valued Logic (Ⅳ) |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ | |