部分四值逻辑中L型函数集与拟线性函数集之确定  

The determination of 1-type function set and pseudolinear function set in partial four-valued logic

作　　者：许芬[1] 刘任任[1] 

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

出　　处：《海南师范学院学报（自然科学版）》2006年第1期23-25,共3页Journal of Hainan Normal University:Natural Science

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

摘　　要：根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．According to the completeness theory in partial k-valued logic,L-type function set and pseudolinear function set in partial four-valued logic were determined,thus having pushed the complete solution of minimal coverings of precomplete sets in P4^＊.

关 键 词：多值逻辑 L型函数集 拟线性函数集 

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