部分四值逻辑中Sheffer函数的判定

• 作者: 何骞 金辉霞
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 多值逻辑 Sheffer函数 准完备集 最小覆盖
• 年，卷（期）: 2011,（29）
• 所属期刊栏目: 数据库、信号与信号处理
• 页码范围: 140-142
• 分类号: TP301
• 字数: 4707字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.29.039

摘要

多值逻辑是指一切逻辑值的取值数大于2的逻辑.Sheffer函数的判定问题是多值逻辑完备性理论中的一个重要问题,此问题的解决依赖于定出多值逻辑函数集中所有准完备集的最小覆盖.在深入研究部分四值逻辑中Sheffer函数的基础上,根据部分四值逻辑中准完备集的最小覆盖,给出了一个部分四值逻辑中Sheffer函数的判定算法.此算法能够判定任意一个函数是不是部分四值逻辑中的Sheffer函数.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	金辉霞	湖南城市学院物理与电信工程系	18	35	3.0	5.0
2	何骞	湖南城市学院计算机科学系	10	11	2.0	2.0