部分多值逻辑中保正规关系的准完备集的性质  

Properties of Precomplete Classes Preserving Regular Relation in Partial Multiple-Valued Logic

作　　者：刘任任[1] 罗秋棠[2] 王婷[1] 

机构地区：[1]湘潭大学信息工程学院,湖南湘潭411105 [2]华东师范大学软件学院,上海200062

出　　处：《武汉大学学报（理学版）》2012年第2期135-138,共4页Journal of Wuhan University:Natural Science Edition

基　　金：国家自然科学基金资助项目(60673193);湖南省科技厅计划项目(2011FJ6038);湖南省教育厅科学基金项目(11C1216);湘潭大学自科基金项目资助(10XZX19)

摘　　要：在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.In completeness theories of muhiple-valued logic, the characterization of Sheller 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.

关 键 词：部分多值逻辑 准完备集 SHEFFER函数 保关系 最小覆盖 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]