Decision on Minimal Covering of Preserving Quaternary Regularly Separable Relations in Partial Four-valued Logic
Px4中保四元正则可离关系最小覆盖之确定

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.