%0 Journal Article %T Some Results on the Decision of the Minimal Covering for Full Symmetric Function Sets in Partial K-valued Logic
部分K值逻辑中完满对称函数集最小覆盖判定的一些结果 %A GONG Zhi-wei %A LIU Ren ren %A
龚志伟 %A 刘任任 %J 计算机科学 %D 2012 %I %X According to the completeness theory in partial K-valued logic, starting with the chart of binary full symmetric relations, this paper first proved two kinds of preserving binary full symmetric relations function sets unbelong to the minimal covering members in partial K-valued logic, and then discussed the edge number of chart, decided the emergence of preserving binary full symmetric relations function sets in the minimal covering members in partial K-valued logic. %K Multi valued logic %K Completeness %K Sheffer function %K Full symmetric function sets
多值逻辑 %K 完备性 %K Sheffer函数 %K 完满对称函数集 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4207430C62DE8EBE3F42D8FFFB464A79&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=94C357A881DFC066&sid=EF27C460877D3C9F&eid=334E2BB8B9A55ABB&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0