部分多值逻辑中单纯可离和完满对称关系的计数  

Number of Simply Separable and Full Symmetric Relations in Partial Multiple-valued Logic

作　　者：王婷[1] 刘任任[2] 

机构地区：[1]湘潭大学信息工程学院,湘潭411105 [2]湘潭大学智能计算与信息处理教育部重点实验室,湘潭411105

出　　处：《计算机科学》2012年第10期224-226,共3页Computer Science

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

摘　　要：根据部分多值逻辑的完备性理论,对两类准完备集——单纯可离函数集和完满对称函数集进行研究,给出了单纯可离和完满对称关系的函数的计数公式。According to the completeness theory of partial multiple-valued logic, some properties of simply separable function set and full symmetric function set were discussed,and the formulas for the number of simply separable relation and full symmetric relations were established.

关 键 词：多值逻辑 完备性 准完备 

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