部分四值逻辑中准完备集的最小覆盖

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (23): 52-57.

部分四值逻辑中准完备集的最小覆盖

龚志伟1，刘任任2

1.中南林业科技大学理学院，长沙 410004
2.湘潭大学信息工程学院，湖南湘潭 411105

出版日期:2012-08-11 发布日期:2012-08-21

Minimal covering for precomplete sets in partial four-valued logic

GONG Zhiwei1, LIU Renren2

1.School of Sciences, Central South University of Forestry and Technology, Changsha 410004, China
2.College of Information Engineering, Xiangtan University, Xiangtan, Hunan 411105, China

Online:2012-08-11 Published:2012-08-21

摘要/Abstract

摘要： 根据部分[K]值逻辑的完备性理论以及准完备集之间的相似关系理论，定出了部分四值逻辑的所有准完备集的最小覆盖，从而解决了部分四值逻辑中Sheffer函数的判定问题。

关键词: 多值逻辑, 最小覆盖, Sheffer函数

Abstract: According to the completeness theory and the similar relationship theory among precomplete sets in partial k-valued logic, the minimal covering for all precomplete sets in partial four-valued logic is decided. The judgement of the Sheffer function in partial four-valued logic is solved.

Key words: multiple-valued logic, minimal covering, sheffer function

龚志伟1，刘任任2. 部分四值逻辑中准完备集的最小覆盖[J]. 计算机工程与应用, 2012, 48(23): 52-57.

GONG Zhiwei1, LIU Renren2. Minimal covering for precomplete sets in partial four-valued logic[J]. Computer Engineering and Applications, 2012, 48(23): 52-57.

[1]	周建仁，吴洪博. MV代数的子代数及相关重言式之间的关系[J]. 计算机工程与应用, 2013, 49(9): 45-49.
[2]	金辉霞1，何骞2. 部分四值逻辑中Sheffer函数的判定[J]. 计算机工程与应用, 2011, 47(29): 140-142.
[3]	李顺琴¹，王国俊². 系统H_α中的子代数的广义重言式理论[J]. 计算机工程与应用, 2010, 46(8): 37-39.
[4]	何骞，刘任任. 部分二值逻辑中Sheffer函数的构造与判定算法[J]. 计算机工程与应用, 2010, 46(5): 28-30.
[5]	何骞,刘任任. 部分三值逻辑中Sheffer函数的判定算法[J]. 计算机工程与应用, 2009, 45(19): 52-54.
[6]	于鸿丽^1,2,吴洪博¹. 多值逻辑系统H_α中的子代数理论[J]. 计算机工程与应用, 2008, 44(5): 43-45.
[7]	刘玉珍刘任任. 正则可离关系之最小覆盖成员的判定结果 [J]. 计算机工程与应用, 2007, 43(5期): 28-29.
[8]	刘玉珍，刘任任. 部分K值逻辑中最小覆盖之判定的一些结果[J]. 计算机工程与应用, 2007, 43(23): 38-39.