关于部分K值逻辑Sheffer函数判定的一些结果(II)

Some Results on Sheffer Functions in Partial K-Valued Logic (II)

根据部分多值逻辑的完备性理论 ,证明了m =2时的两类正则可离函数集必然不包含在P

In this paper, according to the completeness theory of Partial K-Valued logic, some regular seperable function sets (m=2) are proved not to be the component part of the minimal covering of precomplete classes in P * k.