Abstract: According to the completeness theory in partial K-valued logic, regularly separable relation and the similar relationship theory among precomplete sets, the decision of minimal covering in partial four-valued logic was analyzed, and the minimal covering members of function sets preserving quaternary regularly separable relations in partial four-valued logic were decided.

Key words: Multi valued logic, Regularly separable relation, Sheffer function, Minimal covering