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

J4 ›› 2013, Vol. 35 ›› Issue (2): 81-84.

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

龚志伟1 ，刘任任2

(1.中南林业科技大学理学院,湖南长沙 410004；2.湘潭大学信息工程学院,湖南湘潭 411105)

收稿日期:2011-11-07 修回日期:2012-03-01 出版日期:2013-02-25 发布日期:2013-02-25
基金资助:
国家自然科学基金资助项目(60673193)；中南林业科技大学校青年基金资助项目（QJ2010021B）

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

GONG Zhiwei1,LIU Renren2

(1.College of Science, Central South University of Forestry and Technology,Changsha 410004; 2.College of Information Engineering,Xiangtan University,Xiangtan 411105,China)

Received:2011-11-07 Revised:2012-03-01 Online:2013-02-25 Published:2013-02-25

摘要/Abstract

摘要：

根据部分K值逻辑的完备性理论，对于一般的K,首先确定了保二元完满对称函数集的个数，并给出了这些函数集的构造方法；然后确定了所有的完满对称函数集的个数，并给出了这些函数集的构造方法。

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

Abstract:

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.

Key words: multiplevalued logic；precomplete sets；full symmetric function sets

龚志伟1 ，刘任任2. 部分K值逻辑中完满对称函数集的确定和构造[J]. J4, 2013, 35(2): 81-84.

GONG Zhiwei1,LIU Renren2. Determination and conformation of full symmetric function sets in partial Kvalued logic[J]. J4, 2013, 35(2): 81-84.

[1]	龚志伟. 部分多值逻辑的准完备集中同源关系的研究[J]. J4, 2014, 36(08): 1533-1537.
[2]	刘任任. 部分四值逻辑中Sheffer函数的判定与构造[J]. J4, 2008, 30(11): 75-76.