部分四值逻辑中Sheller函数的判定与构造

摘要：

根据部分K值逻辑的完备性理论和相似关系概念,利用部分多值逻辑函数集中准完备集之最小覆盖成员的判定构造了部分四值逻辑函数集P4中的Sheffer函数.

关键词： 多值逻辑 最小覆盖 相似关系 逻辑函数集

作者: 刘任任

作者单位: 湘潭大学信息工程学院,湖南,湘潭,411105

会议类型: 国内会议

会议名称: 2008年全国理论计算机科学学术年会

会议地点: 西安

会议语种:中文

页码: 75-76

在线出版日期: 2008-09-19（万方平台首次上网日期，不代表论文的发表时间）