部分K值逻辑中单纯可离函数集结构研究  

Research of simply separable function sets structure in partial K-valued logic

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

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

出　　处：《山东大学学报（理学版）》2012年第5期89-92,97,共5页Journal of Shandong University(Natural Science)

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

摘　　要：根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。According to the completeness theory in partial K-valued logic,the structure of simply separable function sets in partial K-valued logic was discussed.First,the number of direct divisions of m-ary relationships in partial K-valued logic was solved.Then,on the basis of the division,all of the simply separable function sets were given.Finally,the properties of preserving K-ary simply separable function sets were analyzed.

关 键 词：多值逻辑 准完备集 单纯可离函数集 

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