| P*4中保二元正则可离关系非最小覆盖的剔除 |
| |
| 引用本文： | 周小强,刘任任.P*4中保二元正则可离关系非最小覆盖的剔除[J].山东大学学报(理学版),2008,43(12):24-27. |
| |
| 作者姓名： | 周小强 刘任任 |
| |
| 作者单位： | 1. 湖南理工学院数学系,湖南,岳阳,414006
2. 湘潭大学信息工程学院,湖南,湘潭,411105 |
| |
| 基金项目： | 国家自然科学基金，湖南省教育厅重点项目，湖南省教育厅资助项目 |
| |
| 摘 要： | 为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论, 对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。
|
| 关 键 词： | 多值逻辑 Sheffer函数 正则可离关系 最小覆盖 |
| 收稿时间： | 2008-09-02 |
Elimination of the not minimal covering of preserving binary regularly separable relations in partial four-valued logic |
| |
| ZHOU Xiao-qiang,LIU Ren-ren.Elimination of the not minimal covering of preserving binary regularly separable relations in partial four-valued logic[J].Journal of Shandong University,2008,43(12):24-27. |
| |
| Authors: | ZHOU Xiao-qiang LIU Ren-ren |
| |
| Institution: | 1. Department of Mathematics,Hunan Institute of Science and Technology, Yueyang 414006, Hunan， China;
2. College of Information Engineering, Xiangtan University, Xiangtan 411105, Hunan, China |
| |
| Abstract: | To determine the minimal covering in partial four-valued logic,according to the completeness theory in partial K-valued logic,regularly separable relation and the similar relationship theory among precomplete sets,the minimal covering in partial four-valued logic was analyzed,and 222 sets of 270 preserving quaternary regularly separable relations function sets were proved not to belong to the minimal covering members in partial four-valued logic. |
| |
| Keywords: | multi-valued logic Sheffer functions regularly separable relation minimal covering |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《山东大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《山东大学学报(理学版)》下载免费的PDF全文 |
