关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果  

Some results on decision for minimal covering of regular separable function sets in partial K-valued logic

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

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

出　　处：《海军工程大学学报》2004年第5期17-20,共4页Journal of Naval University of Engineering

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

摘　　要：根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则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 G_2=G_2({1,2})∪G_2 be only a cycle under the condition of σ=e and m=2, then T(G_2) is not in the minimal covering of P~*_k.

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

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