| 部分多值逻辑中保正规关系的准完备集的性质 |
| |
| 引用本文： | 刘任任,罗秋棠,王婷.部分多值逻辑中保正规关系的准完备集的性质[J].武汉大学学报(理学版),2012,58(2):135-138. |
| |
| 作者姓名： | 刘任任 罗秋棠 王婷 |
| |
| 作者单位： | 1. 湘潭大学信息工程学院,湖南湘潭,411105
2. 华东师范大学软件学院,上海,200062 |
| |
| 基金项目： | 国家自然科学基金资助项目，湖南省科技厅计划项目，湖南省教育厅科学基金项目，湘潭大学自科基金项目资助 |
| |
| 摘 要： | 在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.
|
| 关 键 词： | 部分多值逻辑 准完备集 Sheffer函数 保关系 最小覆盖 |
Properties of Precomplete Classes Preserving Regular Relation in Partial Multiple-Valued Logic |
| |
| LIU Renren,LUO Qiutang,WANG Ting.Properties of Precomplete Classes Preserving Regular Relation in Partial Multiple-Valued Logic[J].JOurnal of Wuhan University:Natural Science Edition,2012,58(2):135-138. |
| |
| Authors: | LIU Renren LUO Qiutang WANG Ting |
| |
| Institution: | 1(1.School of Information Engineering,Xiangtan University,Xiangtan 411105,Hunan,China; 2.Institute of Software,East China Normal University,Shanghai 200062,China) |
| |
| Abstract: | In completeness theories of multiple-valued logic,the characterization of Sheffer functions is an important problem and the solution can be reduced to determine the minimal coverings of precomplete classes. In this paper,some properties of precomplete classes preserving regular relation in partial multiple-valued logic are researched.It laid the foundation for the decision on minimal covering of precomplete sets in partial multiple-valued logic. |
| |
| Keywords: | multi valued logic precomplete classes Sheller function preserving relation minimal covering |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
