| 关于部分K值逻辑Sheffer函数判定的一些结果(II) |
| |
| 引用本文： | 肖凡,刘任任. 关于部分K值逻辑Sheffer函数判定的一些结果(II)[J]. 湘潭大学自然科学学报, 2002, 24(2): 36-38 |
| |
| 作者姓名： | 肖凡 刘任任 |
| |
| 作者单位： | 湘潭大学信息工程学院,湖南,湘潭,411105 |
| |
| 基金项目： | 国家自然科学基金资助项目 ( 6 0 0 830 0 1) |
| |
| 摘 要： | 根据部分多值逻辑的完备性理论，证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。
|
| 关 键 词： | K值逻辑 Sheffer函数 多值逻辑 完备性 |
| 文章编号： | 1000-5900(2002)02-0036-03 |
| 修稿时间： | 2001-12-07 |
Some Results on Sheffer Functions in Partial K-Valued Logic (II) |
| |
| XIAO Fan, LIU Renren. Some Results on Sheffer Functions in Partial K-Valued Logic (II)[J]. Natural Science Journal of Xiangtan University, 2002, 24(2): 36-38 |
| |
| Authors: | XIAO Fan LIU Renren |
| |
| Abstract: | In this paper, according to the completeness theory of Partial K-Valued logic, some regular seperable function sets (m=2) are proved not to be the component part of the minimal covering of precomplete classes in P * k. |
| |
| Keywords: | Multiple-Valued logic Completeness Sheffer Functions Precomplete set |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
