P^＊4中保四元正则可离关系非最小覆盖的剔除  

Elimination of not belonging to minimal covering of preserving quaternary regularly separable relations in partial four-valued logic

作　　者：周小强[1] 刘任任[2] 

机构地区：[1]湖南理工学院数学系,湖南岳阳414006 [2]湘潭大学信息工程学院,湖南湘潭411105

出　　处：《计算机应用研究》2009年第6期2090-2091,2094,共3页Application Research of Computers

基　　金：国家自然科学基金资助项目(606731931);湖南省教育厅资助项目(07A067;08C390)

摘　　要：为确定部分四值逻辑的最小覆盖,根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑的最小覆盖进行分析,证明了109个保四元正则可离关系函数集中的67个函数集必不属于部分四值逻辑中最小覆盖的成员。To determine the minimal covering in partial four-valued logic, according to the completeness theory in partial Kvalued logic, regularly separable relation and the similar relationship theory among precomplete sets, analyzed the minimal covering.in partial four-valued logic, and proved 67 sets of 109 preserving quaternary regularly.separable relations function sets not belong to the minimal covering members in partial four-valued logic.

关 键 词：多值逻辑 完备性 正则可离关系 最小覆盖 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]