关于部分K值逻辑Sheffer函数(Ⅳ) |
| |
引用本文: | 刘玉珍,刘任任.关于部分K值逻辑Sheffer函数(Ⅳ)[J].湘潭大学自然科学学报,2004,26(2):29-32. |
| |
作者姓名: | 刘玉珍 刘任任 |
| |
作者单位: | 湘潭大学信息工程学院,湖南,湘潭,411105 |
| |
基金项目: | 国家自然科学基金资助项目(60083001);湖南省自然科学基金资助项目(03JJY3099) |
| |
摘 要: | 根据部分多值逻辑的完备性理论罗铸楷等],证明了m=2时的一类正则可离函数集在P*k的极大封闭集之最小覆盖中必不出现.
|
关 键 词: | 多值逻辑 完备性 Sheffer函数 极大封闭集 |
文章编号: | 1000-5900(2004)02-0029-04 |
修稿时间: | 2003年8月29日 |
On Sheffer Functions in Partial K-Valued Logic(Ⅳ) |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 万方数据 等数据库收录! |
|