关于部分K值逻辑Sheffer函数(IV)

On Sheffer Functions in Partial KValued Logic(IV)

根据部分多值逻辑的完备性理论 [罗铸楷等 ] ,证明了 m =2时的一类正则可离函数集在P k 的极大封闭集之最小覆盖中必不出现 .

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