On Sheffer Functions in Partial K-Valued Logic (III)

Li Shu · Natural Science Journal of Xiangtan University · 2002

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

Read the paper · More papers on PaperTik