Skip to Main Content
Skip Nav Destination
ASME Press Select Proceedings

International Conference on Advanced Computer Theory and Engineering (ICACTE 2009)

Xie Yi
Xie Yi
Search for other works by this author on:
No. of Pages:
ASME Press
Publication date:

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.

This content is only available via PDF.
You do not currently have access to this chapter.
Close Modal

or Create an Account

Close Modal
Close Modal