关于部分K值逻辑中的单纯可离函数集性质的一些结果

• 作者: 刘任任 王婷
• 来源期刊: 计算技术与自动化
• 关键词: 多值逻辑 完备性 Sheffer函数 准完备集
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 算法研究及分析
• 页码范围: 32-33,72
• 页数: 3页
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6199.2004.03.009

摘要

在多值逻辑函数结构理论中, Sheffer函数的判定与构造是其中的一个重要的组成部分.其判定问题与函数集完备性之判定密切相关, 而完备性之判定又可归结为定出其中的所有准完备集.对于部分多值逻辑,其函数集的完备性问题已彻底解决,即定出了其中的所有准完备集(共七类),但其中的Sheffer函数之判定与构造问题尚未彻底解决.本文对第三类准完备集--单纯可离函数集的性质进行了研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘任任	湘潭大学信息工程学院	104	608	13.0	20.0
2	王婷	湘潭大学信息工程学院	18	66	5.0	8.0