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

On Sheffer Functions in Partial K-Valued Logic (III)

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

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

出　　处：《湘潭大学自然科学学报》2002年第3期44-48,共5页Natural Science Journal of Xiangtan University

基　　金：国家自然科学基金资助项目 (60 0 83 0 0 1)

摘　　要：根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .In this paper, according to the completeness theory of Partial K-Valued logic, some simple seperable function sets (m=2) are proved to be the component part of the minimal covering of precomplete classes in P * k.

关 键 词：部分K值逻辑 部分多值逻辑 完备性 SHEFFER函数 极大封闭集 单纯可离函数集 最小覆盖 

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