Abstract:

To determine the minimal covering in partial four-valued logic, according to the completeness theory in partial K-valued logic, regularly separable relation and the similar relationship theory among precomplete sets, the minimal covering in partial four-valued logic was analyzed, and 222 sets of 270 preserving quaternary regularly separable relations function sets were proved not to belong to the minimal covering members in partial four-valued logic.

Key words: multi-valued logic; Sheffer functions; regularly separable relation; minimal covering