排序方式: 共有1条查询结果,搜索用时 333 毫秒
1
1.
部分多值逻辑中保正规关系的准完备集的性质 总被引:1,自引:0,他引:1
在多值逻辑完备性理论中,Sheffer函数的刻划是一个重要的问题,此问题的解决可归结为定出其准完备集的最小覆盖.本文对部分多值逻辑函数集中保正规关系的准完备集的性质进行了研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础. 相似文献
1