关于部分K值逻辑Sheffer函数(V)  

On Sheffer Functions in Partial K-valued Logic (V)

作　　者：李舒[1] 刘任任[2] 

机构地区：[1]深圳大学信息工程学院,广东深圳518060 [2]湘潭大学信息工程学院,湖南湘潭411105

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

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

摘　　要：根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在P k的准完备集之最小覆盖中必出现。In this paper, according to the completeness theory of Partial K-Valued logic, some simply separable function sets (m=2) are proved to be the component part of the minimal covering of precomplete classes in P~_k.

关 键 词：SHEFFER函数 完备性 数集 对称 证明 关系图 多值逻辑 理论 根据 K值 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] O141[自动化与计算机技术—计算机科学与技术]