On Sheffer Functions in Partial K-valued Logic (V)
Li Shu · Computing Technology and Automation · 2004
In this paper, according to the completeness theory of Partial K-Valued logic, some simply separable function sets (m=2) are proved to be the component part of the minimal covering of precomplete classes in P~_k.