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

On Sheffer Functions with Partial K-Valued Logic (Ⅳ)

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

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

出　　处：《长沙交通学院学报》2004年第4期3-7,共5页Journal of Changsha Communications University

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

摘　　要：根据部分多值逻辑的完备性理论,证明了m=2时关系图为树的两类单纯可离函数集一类P k的极大封闭集之最小覆盖中k在的极大封闭集之最小覆盖中不出现,另一类在P 必须出现。In this paper, by means of the completeness theory of Partial K-Valued Logic the authors proved that for simply (separable) function sets(m=2) whose relation graphics are trees, one kind of these is not the component part of the minimal covering of precomplete classes in P~*_k and the other is the (component) part of the minimal covering of precomplete classes in P~*_k.

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

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