部分三值逻辑中Sheffer函数的判定算法  

Determinant algorithm of Sheffer function in partial three-valued logic

作　　者：何骞[1] 刘任任[1] 

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

出　　处：《计算机工程与应用》2009年第19期52-54,57,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(No.60673193);湖南省教育厅重点项目(No.07A067)~~

摘　　要：根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法。The determinant algorithm of the Sheffer function in partial three-valued Logic is given,based on the completeness theory in partial k-valued logic and the minimal covering of precomplete sets in partial three-valued logic.

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

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