部分三值逻辑中Sheffer函数的判定算法

• 作者: 何骞 刘任任
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 多值逻辑 准完备集 最小覆盖 Sheffer函数
• 年，卷（期）: 2009,（19）
• 所属期刊栏目: 研究、探讨
• 页码范围: 52-54,57
• 页数: 4页
• 分类号: O141
• 字数: 5461字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.19.015

摘要

根据部分多值逻辑的完备性理论和部分三值逻辑中准完备集的最小覆盖,给出部分三值逻辑中Sheffer函数的判定算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘任任	湘潭大学信息工程学院	104	608	13.0	20.0
2	何骞	湘潭大学信息工程学院	2	11	2.0	2.0