Abstract:

According to the completeness theory in partial K-valued logic, the structure of simply separable function sets in partial K-valued logic was discussed. First, the number of direct divisions of m-ary relationships in partial K-valued logic was solved. Then, on the basis of the division, all of the simply separable function sets were given. Finally, the properties of preserving K-ary simply separable function sets were analyzed.

Key words: multiple-valued logic; precomplete sets; simply separable function sets