部分四值逻辑中保二元正则可离关系非最小覆盖的剔除  

The Elimination of Not Belonging to the Minimal Covering of Preserving Binary Regularly Separable Relations in Partial Four-valued Logic

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

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

出　　处：《计算技术与自动化》2011年第3期76-78,共3页Computing Technology and Automation

基　　金：国家自然科学基金资助(606731931)

摘　　要：为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了270个保二元正则可离关系函数集中的222个函数集必不属于部分四值逻辑中最小覆盖的成员。To determine the minimal covering in partial four-valued logic,according to the completeness theory in partial k-valued logic,regularly separable relation and the similar relationship theory among precomplete sets,the minimal covering in partial four-valued logic is analyzed,and 222 sets of 270 preserving binary regularly separable relations function sets are proved not belonging to the minimal covering members in partial four-valued logic.

关 键 词：多值逻辑 完备性 正则可离关系 最小覆盖 

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