Some Results on the Minimal Covering of Precomplete Sets in Partial Four-Valued Logic
Xiaoqiang Zhou, Liu Ren-ren, Sisi Gu · ASME Press eBooks · 2009
The decision and constitution of the Sheffer function is one of the important problems in multi-valued logic theory. This problem can be reduced to the decision of the minimal covering of precomplete sets in the multi-valued logic function sets. According to the completeness theory in partial k-valued logic and the similar relationship theory among precomplete sets, the methods of determination on the minimal covering precomplete sets are found out, and the minimal covering members of function sets preserving full symmetric, simply separable and regularly separable relations in partial four-valued logic are decided.