部分K值逻辑中正则可离函数集的一些结果  

Some Results on Regular Separable Function Sets in Partial K-valued Logic

作　　者：刘玉珍[1] 刘任任[1] 

机构地区：[1]湘潭大学信息工程学院,湖南湘潭411105

出　　处：《计算机工程与应用》2006年第9期48-49,72,共3页Computer Engineering and Applications

基　　金：国家自然科学基金资助项目(编号:60083001);湖南省自然科学基金资助项目(编号:03JJY3099)

摘　　要：根据部分多值逻辑完备性理论,证明了当m=2,σ=e时,若正则可离函数关系G2=G2(｛1,2｝)∪G"2之关系图的基础图连通且如含回路必须是M-回路,则T(G2)不是PK*的最小覆盖成员。According to the completeness theory of partial K-valued logic,it is proved that if let the basic graph of the regular separable relation G2=G2 （{1,2}） U^G2 be connected and if it contains a cycle which must be M-cycle under the condition of m=2 and σ=e.Then T（G2 ） is not in the minimal covering of Pk.

关 键 词：多值逻辑 完备性 SHEFFER函数 极大封闭集(准完备集) 最小覆盖 

分 类 号：O141[理学—数学]