关于部分K值逻辑Sheffer函数判定的一些结果(II)

摘要：

根据部分多值逻辑的完备性理论，证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中．

关键词：多值逻辑、完备性、Sheffer函数、极大封闭

所属期刊栏目：24

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金60083001

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：36-38