关于部分K值逻辑中的单纯可离函数集性质的一些结果

摘要

在多值逻辑函数结构理论中, Sheffer函数的判定与构造是其中的一个重要的组成部分.其判定问题与函数集完备性之判定密切相关, 而完备性之判定又可归结为定出其中的所有准完备集.对于部分多值逻辑,其函数集的完备性问题已彻底解决,即定出了其中的所有准完备集(共七类),但其中的Sheffer函数之判定与构造问题尚未彻底解决.本文对第三类准完备集--单纯可离函数集的性质进行了研究.