部分四值逻辑中保二元正则可离关系最小覆盖之确定

• 作者: 刘任任 王日中 龚志伟
• 来源期刊: 计算技术与自动化
• 关键词: 多值逻辑 sheffer函数 正则可离关系 最小覆盖
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 算法分析与研究
• 页码范围: 49-52
• 页数: 4页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6199.2007.04.013

摘要

根据部分K值逻辑的完备性理论、正则可离关系、相似关系的概念,构造同源关系的概念.对部分四值逻辑中最小覆盖的确定进行分析.首先,总结部分四值逻辑中,对于正则可离函数集共有129个准完各集不可剔除;然后,对保二元的48个正则可离函数集按相似关系分为9类;最后,证明这9类保二元正则可离函数集是最小覆盖成员.

作者信息

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