Computer Science ›› 2012, Vol. 39 ›› Issue (5): 205-207.
Previous Articles Next Articles
Online:
Published:
Abstract: According to the completeness theory in partial K-valued logic, starting with the chart of binary full symmetric relations, this paper first proved two kinds of preserving binary full symmetric relations function sets unbelong to the minimal covering members in partial K-valued logic, and then discussed the edge number of chart, decided the emergence of preserving binary full symmetric relations function sets in the minimal covering members in partial K-valued logic.
Key words: Multi valued logic, Completeness, Sheffer function, Full symmetric function sets
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2012/V39/I5/205
Cited