On the Categorizing of Preserving Quaternary Regularly Separable Relations in Partial Four-Valued Logic

摘要：

In many-valued logic theories, the decision and construction for Sheffer functions is an important problem. The decision for Sheffer functions is interrelated to the decision for completeness of functions set, and the solution can be reduced to determining the minimal coverings of precomplete. It’s well known that each precomplete set is a function set, T(Gm), preserving the relation Gm, therefore, the categorizing of this relation has provided the determination of precomplete set’s minimal covering with more convenient ways. In this paper, preserving quaternary regularly separable relations in partial four-valued logic are categorized by similar relation.

关键词： multi-valued logic completeness regularly separable relations minimal covering

作者: Xiaoqiang Zhou Renren Liu Zhiwei Gong

作者单位: Department of Mathematics Hunan Institute of Science and Technology Yueyang, Hunan, 414006, China College of Information Engineering Xiangtan University Xiangtan, Hunan, 411105, China College of Science Central South University of Forestry and Technology Changsha, Hunan, 410004, Chin

会议类型: 国际会议

会议名称: 2009 2nd IEEE International Conference on Computer Science and Information Technology(第二届计算机科学与信息技术国际会议 ICCSIT2009)

会议地点: 北京

会议语种:英文

页码: 1335-1337

在线出版日期: 2009-08-08（万方平台首次上网日期，不代表论文的发表时间）