部分四值逻辑中准完备集的最小覆盖

• 作者: 刘任任 龚志伟
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 多值逻辑 最小覆盖 Sheffer函数
• 年，卷（期）: 2012,（23）
• 所属期刊栏目: 研究、探讨
• 页码范围: 52-57,76
• 分类号: TP301
• 字数: 8901字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.23.012

摘要

根据部分K值逻辑的完备性理论以及准完备集之间的相似关系理论,定出了部分四值逻辑的所有准完备集的最小覆盖,从而解决了部分四值逻辑中Sheffer函数的判定问题.

作者信息

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