多值逻辑是指一切逻辑值的取值数大于2的逻辑。多值逻辑的研究内容主要包括理论、电路与系统和应用三个方面。　　多值逻辑函数结构理论包括完备性理论、函数表示理论以及单向陷门函数,其中一个基本而重要的问题是函数集完备性的判定,它也是自动机理论以及多值逻辑网络中必须要解决的问题。此问题的解决依赖于定出多值逻辑函数集中的所有准完备集。　　Sheffer函数的判定和构造是多值逻辑完备性理论中的另一个重要问题,此问题的解决可归结为定出所有准完备集的最小覆盖。完全多值逻辑中Sheffer函数的判定问题已彻底解决,但部分多值逻辑中Sheffer函数的判定问题尚未完全解决,要完全解决此问题,必须对每一类准完备集的性质作深入的研究。　　本论文对部分多值逻辑函数集中准完备集以及正规关系的性质进行了较深入的研究,为确定部分多值逻辑函数集中准完备集的最小覆盖奠定了一定的基础。　　论文首先介绍了多值逻辑函数结构理论的基本概念和重要研究成果;然后介绍了部分多值逻辑函数集中准完备集的分类、准完备集的最小覆盖以及相似关系概念和保相似关系的准完备集之间的性质;最后给出了部多值逻辑函数集中准完备集以及正规关系的若干性质及其证明。