P4^＊中保三元正则可离关系函数集非最小覆盖成员的确定  

The decision on not belonging to the minimal covering members of function sets preserving ternary regularly separable relations in partial Four-Valued Logic

作　　者：周小强[1] 

机构地区：[1]湖南理工学院数学系 湖南岳阳414006

出　　处：《湖南理工学院学报（自然科学版）》2007年第4期16-18,共3页Journal of Hunan Institute of Science and Technology(Natural Sciences)

基　　金：国家自然科学基金(60083001)

摘　　要：根据部分K值逻辑的完备性理论[1]以及准完备集之间的相似关系理论[2],定出了必不属于部分四值逻辑中保三元正则可离关系函数集之最小覆盖的成员.According to the completeness theory in partial k-valued logic and the similar relationship theory among precomplete sets, not belonging to the minimal covering members of function sets preserving ternary regularly separable relations in partial four-valued logic are decided.

关 键 词：多值逻辑 完备性 SHEFFER函数 最小覆盖 

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