%0 Journal Article %T 部分k值逻辑中完满对称函数集最小覆盖判定的一些结果 %A 龚志伟 %A 刘任任? %J 计算机科学 %D 2012 %X 根据部分k值逻辑的完备性理论,从二元完满对称关系gz的关系图的特点出发,首先证明了两类保二元的完满对称函数集不属于部分k值逻辑的准完备集之最小覆盖。然后对关系图中边的数目分情况进行讨论,定出了部分k值逻辑中保二元的完满对称函数集在边数小于等于k时的准完备集之最小覆盖成员。 %K 多值逻辑 %K 完备性 %K shcffcr函数 %K 完满对称函数集 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120549&flag=1