部分四值逻辑中准完备集的最小覆盖  

Minimal covering for precomplete sets in partial four-valued logic

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

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

出　　处：《计算机工程与应用》2012年第23期52-57,76,共7页Computer Engineering and Applications

基　　金：国家自然科学基金(No.60673193);中南林业科技大学校青年基金(No.QJ2010021B)

摘　　要：根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题。According to the completeness theory and the similar relationship theory among precomplete sets in partial k-valued logic,the minimal covering for all precomplete sets in partial four-valued logic is decided.The judgement of the Sheffer function in partial four-valued logic is solved.

关 键 词：多值逻辑 最小覆盖 SHEFFER函数 

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