关于部分K值逻辑Sheffer函数(V)

• 作者: 刘任任 李舒
• 来源期刊: 计算技术与自动化
• 关键词: 多值逻辑 完备性 Sheffer函数 准完备集
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 算法研究及分析
• 页码范围: 37-39
• 页数: 3页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6199.2004.03.011

摘要

根据部分多值逻辑的完备性理论[1],本文证明了m=2时,关系图为对称H图的一类单纯可离函数集在Pk的准完备集之最小覆盖中必出现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘任任	湘潭大学信息工程学院	104	608	13.0	20.0
2	李舒	深圳大学信息工程学院	2	5	1.0	2.0