| Px4中保四元正则可离关系最小覆盖之确定 |
| |
| 引用本文： | 周小强,刘任任. Px4中保四元正则可离关系最小覆盖之确定[J]. 计算机科学, 2009, 36(9): 176-177 |
| |
| 作者姓名： | 周小强 刘任任 |
| |
| 作者单位： | 1. 湖南理工学院数学系,岳阳,414006
2. 湘潭大学信息工程学院,湘潭,411105 |
| |
| 基金项目： | 国家自然科学基金，湖南省教育厅重点项目，湖南省教育厅项目 |
| |
| 摘 要： | 根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员.
|
| 关 键 词： | 多值逻辑 正则可离关系 Sheffer函数 最小覆盖 |
| 收稿时间： | 2008-10-15 |
| 修稿时间： | 2008-12-30 |
Decision on Minimal Covering of Preserving Quaternary Regularly Separable Relations in Partial Four-valued Logic |
| |
| ZHOU Xiao-qiang,LIU Ren-ren. Decision on Minimal Covering of Preserving Quaternary Regularly Separable Relations in Partial Four-valued Logic[J]. Computer Science, 2009, 36(9): 176-177 |
| |
| Authors: | ZHOU Xiao-qiang LIU Ren-ren |
| |
| Affiliation: | Department of Mathematics;Hunan Institute of Science and Technology;Yueyang 414006;China;College of Information Engineering;Xiangtan University;Xiangtan 411105;China |
| |
| Abstract: | According to the completeness theory in partial K-valued logic,regularly separable relation and the similar relationship theory among precomplete sets,the decision of minimal covering in partial four-valued logic was analyzed,and the minimal covering members of function sets preserving quaternary regularly separable relations in partial four-valued logic were decided. |
| |
| Keywords: | Multi-valued logic Regularly separable relation Sheffer function Minimal covering |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
