关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)  

Some Results on Sheffer Functions in Partial K-Valued Logic (Ⅰ)

作　　者：肖凡[1] 刘任任[1] 

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

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

基　　金：国家自然科学基金资助项目(60082001)

摘　　要：根据部分多值逻辑的完备性理论，证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．In this paper, according to the completeness theory of Partial K-Valued logic, s ome full symmetric functions (m=2) are proved to be the component part of th e minimal covering of precomplete classes in P*k.

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

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