%0 Journal Article
%T 关于部分k值逻辑sheffer函数(ⅲ)
%A 刘任任 陈建二 陈松乔？
%J 计算机科学
%D 2002
%X 1.引言　　在多值逻辑结构理论中,sheffer函数的判定与构造是其中的一个重要的组成部分.它分别包括完全、部分多值逻辑sheffer函数的结构与判定,其判定问题与函数系完备性之判定密切相关,并可归结为定出完全与部分多值逻辑中极大封闭集的最小覆盖.对于完全多值逻辑函数集中的sheffer函数,其判定与构造问题已经完全解决.对于部分多值逻辑函数集中的sheffer函数,文[2,3]对于k一3,4定出了p*k的极大封闭集的最小覆盖;在文[4～6]中,证明了极大封闭集(即准完备集)保e函数集te、l型函
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1000426198&flag=1