正则可离关系之最小覆盖成员的判定结果  

Results on decision of minimal covering members for regular separable relation

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

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

出　　处：《计算机工程与应用》2007年第5期28-29,44,共3页Computer Engineering and Applications

基　　金：国家自然科学基金(the National Natural Science Foundation of China under Grant No.60083001);湖南省自然科学基金(the Natural Science Foundation of Hunan Province of China under Grant No.03JJY3099);湘潭大学(04XZX02)

摘　　要：根据部分K值逻辑完备性理论,得到了当m=2,σ=e,时,若正则可离关系G2=G2(｛1,2｝)∪■2之关系图的基础图连通,则T(G2)不是P*K的最小覆盖成员的结论。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}）O↑-G2 be connected under the condition of m=2 and δ=e.Then T（G2） must not belong to the minimal covering of, PK^＊.

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

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