部分K值逻辑中单纯可离函数集结构研究

J4 ›› 2012, Vol. 47 ›› Issue (5): 89-92.

部分K值逻辑中单纯可离函数集结构研究

龚志伟^1,刘任任^2*,王婷²

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

收稿日期:2011-07-22 出版日期:2012-05-20 发布日期:2012-06-01
作者简介:龚志伟(1980- ),女,硕士,讲师,主要研究方向为多值逻辑.Email:zhiweigong@tom.com
基金资助:
国家自然科学基金资助项目 (60673193);中南林业科技大学校青年基金资助项目(QJ2010021B)

Research of simply separable function sets structure in partial K-valued logic

GONG Zhi-wei1, LIU Ren-ren2*, WANG Ting2

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

Received:2011-07-22 Online:2012-05-20 Published:2012-06-01

摘要/Abstract

摘要：

根据部分K值逻辑的完备性理论,研究了部分K值逻辑中单纯可离关系函数集的结构。首先解出了部分K值逻辑中m元关系直接划分的个数,然后根据划分求出了部分四值逻辑的所有单纯可离函数集,最后分析了部分K值逻辑中保K元单纯可离关系函数集的性质。

关键词: 多值逻辑;准完备集;单纯可离函数集

Abstract:

According to the completeness theory in partial K-valued logic, the structure of simply separable function sets in partial K-valued logic was discussed. First, the number of direct divisions of m-ary relationships in partial K-valued logic was solved. Then, on the basis of the division, all of the simply separable function sets were given. Finally, the properties of preserving K-ary simply separable function sets were analyzed.

Key words: multiple-valued logic; precomplete sets; simply separable function sets

龚志伟1,刘任任2*,王婷2. 部分K值逻辑中单纯可离函数集结构研究[J]. J4, 2012, 47(5): 89-92.

GONG Zhi-wei1, LIU Ren-ren2*, WANG Ting2. Research of simply separable function sets structure in partial K-valued logic[J]. J4, 2012, 47(5): 89-92.

参考文献

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed