部分K值逻辑中完满对称函数集最小覆盖判定的一些结果

摘要：

根据部分K值逻辑的完备性理论,从二元完满对称关系G2的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分K值逻辑的准完备集之最小覆盖.然后对关系图中边的数目分情况进行讨论,定出了部分K值逻辑中保二元的完满对称函数集在边数小于等于K时的准完备集之最小覆盖成员.

关键词：多值逻辑、完备性、Sheffer函数、完满对称函数集

所属期刊栏目：39

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60673193;中南林业科技大学校青年基金QJ2010021B

在线出版日期：2012-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：205-207