论文研究-部分四值逻辑中准完备集的最小覆盖.pdf

【文件属性】：

文件名称：论文研究-部分四值逻辑中准完备集的最小覆盖.pdf

文件大小：549KB

文件格式：PDF

更新时间：2022-10-01 04:04:10

论文研究

根据部分[K]值逻辑的完备性理论以及准完备集之间的相似关系理论，定出了部分四值逻辑的所有准完备集的最小覆盖，从而解决了部分四值逻辑中Sheffer函数的判定问题。