Research on the similarity among precomplete sets preserving m-ary relations in partial k-valued logic
Liu Ren-ren · 2003
In multiple-valued logic theories, the characterization of Sheffer functions is an important problem, it includes the decision and construction for Sheffer functions in P/sub k/ and P/sub k/*. The solution of these problems depends on the solution of the decision problem for completeness in P/sub k/ and P/sub k/*, and reduced to determining the minimal coverings of precomplete sets in P/sub k/ and P/sub k/*, respectively. This paper studies some similarity among precomplete sets preserving m-ary relation in P/sub k//sup */.