P4*中保三元正则可离关系函数集非最小覆盖成员的确定

• 作者: 周小强
• 来源期刊: 湖南理工学院学报（自然科学版）
• 关键词: 多值逻辑 完备性 Sheffer函数 最小覆盖
• 年，卷（期）: 2007,（4）
• 页码范围: 16-18
• 页数: 3页
• 分类号: TP301
• 语种: 中文
• DOI: 10.3969/j.issn.1672-5298.2007.04.005

摘要

根据部分K值逻辑的完备性理论[1]以及准完备集之间的相似关系理论[2],定出了必不属于部分四值逻辑中保三元正则可离关系函数集之最小覆盖的成员.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周小强	湖南理工学院数学系	15	17	3.0	3.0