摘要
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论,对部分四值逻辑中最小覆盖的确定进行分析,定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。
According to the completeness theory in partial K-valued logic, regularly separable relation and the similar relationship theory among precomplete sets, the decision of minimal covering in partial four-valued logic was analyzed, and the minimal covering members of function sets preserving quaternary regularly separable relations in partial four-valued logic were decided.
出处
《计算机科学》
CSCD
北大核心
2009年第9期176-177,192,共3页
Computer Science
基金
国家自然科学基金(606731931)
湖南省教育厅重点项目(07A067)
湖南省教育厅项目(08C390)资助
关键词
多值逻辑
正则可离关系
SHEFFER函数
最小覆盖
Multi-valued logic, Regularly separable relation, Sheffer function, Minimal covering