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

• 作者: 刘任任 龚志伟
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 多值逻辑 完备性 Sheffer函数 完满对称函数集
• 年，卷（期）: 2012,（5）
• 所属期刊栏目: 人工智能
• 页码范围: 205-207
• 分类号: TP301
• 字数: 4610字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.05.049

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘任任	湘潭大学信息工程学院	104	608	13.0	20.0
2	龚志伟	中南林业科技大学理学院	8	10	1.0	3.0