One important problem in multiple-valued logic theory is the decision on Sheffer functions, which depends on deciding all precomplete sets, and the solution can be reduced to determining the minimal covering of precomplete sets.
多值逻辑理论中的一个重要问题是Sheffer函数的判定。 此问题的解决依赖于定出所有准完备集,并可归结为定出所有准完备集的最小覆盖。
参考来源 - 部分K值逻辑中Sheffer函数的判定问题·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐