Minimal covering for precomplete sets in partial four-valued logic

Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (23): 52-57.

Previous Articles Next Articles

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

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

龚志伟1，刘任任2

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

Abstract

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

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

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

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，刘任任2. 部分四值逻辑中准完备集的最小覆盖[J]. 计算机工程与应用, 2012, 48(23): 52-57.

[1]	JIN Huixia1，HE Qian2. Decision of Sheffer functions in partial four-valued logic [J]. Computer Engineering and Applications, 2011, 47(29): 140-142.
[2]	HE Qian，LIU Ren-ren. Conformational and determinant algorithm on Sheffer function in partial two-valued logic [J]. Computer Engineering and Applications, 2010, 46(5): 28-30.
[3]	HE Qian,LIU Ren-ren. Determinant algorithm of Sheffer function in partial three-valued logic [J]. Computer Engineering and Applications, 2009, 45(19): 52-54.
[4]	Liu Yuzhen. Results on decision of the minimal covering members for regular separable relation [J]. Computer Engineering and Applications, 2007, 43(5期): 28-29.
[5]	LIU Yu-zhen，LIU Ren-ren. Some results on decision for minimal covering in partial K-valued logic [J]. Computer Engineering and Applications, 2007, 43(23): 38-39.
[6]	Kang Zhou,. Closed Circle DNA Algorithm of the Minimal Covering Problem [J]. Computer Engineering and Applications, 2006, 42(20期): 7-.

Minimal covering for precomplete sets in partial four-valued logic

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 6

Recommended Articles

Metrics