多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中函数系完备性的判定是一个基本而重要的问题,也是自动机理论、多值逻辑网络中必须解决的问题,此问题的彻底解决依赖于定出多值逻辑函数集中所有极大封闭集(又称准完备集)。它包含着三个著名的问题,那就是要分别定出完全多值逻辑函数集、部分多值逻辑函数集、一元多值逻辑函数集中所有极大封闭集。多值逻辑完备性理论中的另一个重要的问题是Sheffer函数的判定,它可以归结为定出所有准完备集得最小覆盖。完全多值逻辑函数中Sheffer函数的判定已经完全解决,但是部分多值逻辑函数中Sheffer函数的判定还没有彻底解决。本文主要讨论了部分四值逻辑中准完备集的分类和最小覆盖的判定,重点研究了完满对称关系函数集。首先系统地阐述了多值逻辑的基本概念,介绍了完全多值逻辑和部分多值逻辑函数的完备性理论成果。然后利用相似关系对它们进行了分类,列出了完满对称关系函数集和单纯可离关系函数集属于最小覆盖的所有极大封闭集。在求出部分3、4值逻辑完满对称关系函数集个数的基础上给出了部分K值逻辑中完满对称函数关系函数集个数的计算公式并给予证明。