部分K值逻辑中完满对称函数集的确定和构造  

Determination and conformation of full symmetric function sets in partial K-valued logic

作　　者：龚志伟[1] 刘任任[2] 

机构地区：[1]中南林业科技大学理学院,湖南长沙410004 [2]湘潭大学信息工程学院,湖南湘潭411105

出　　处：《计算机工程与科学》2013年第2期81-84,共4页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(60673193);中南林业科技大学校青年基金资助项目(QJ2010021B)

摘　　要：根据部分K值逻辑的完备性理论,对于一般的K,首先确定了保二元完满对称函数集的个数,并给出了这些函数集的构造方法;然后确定了所有的完满对称函数集的个数,并给出了这些函数集的构造方法。According to the completeness theory in partial kvalued logic, firstly, the number of preserving binary full symmetric function sets is determined for general K, and the method of constructing these function sets is given out; secondly, the number of all full symmetric function sets is determined for general K, and the method of constructing these function sets is given out.

关 键 词：多值逻辑 准完备集 完满对称函数集 

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