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

On Sheffer Functions in Partial KValued Logic(Ⅰ)

作　　者：欧阳建权[1] 刘任任[1] 

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

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

基　　金：湖南省自然科学基金!资助项目 (97JJN2 0 2 7)

摘　　要：根据部分多值逻辑的完备性理论 ,证明了m =2时的一类正则可离函数集在P KIn this paper,according to the completeness theory of Partial K Valued logic,some regular separable functions( m =2) are proved to be the component part of the minimal covering of precomplete classes in P * K .

关 键 词：多值逻辑 完备性 SHEFFER函数 极大封闭集 

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