部分多值逻辑中保正规关系的准完备集的性质
在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础.
部分多值逻辑、准完备集、Sheffer函数、保关系、最小覆盖
58
TP301.1(计算技术、计算机技术)
国家自然科学基金资助项目60673193;湖南省科技厅计划项目2011FJ6038;湖南省教育厅科学基金项目11C1216;湘潭大学自科基金项目资助10XZX19
2012-06-02(万方平台首次上网日期,不代表论文的发表时间)
共4页
135-138