多值逻辑是计算机科学中一个重要的科学分支.其研究主要包括理论、电路与系统、应用三方面的内容.该文在第一章中,较全面系统地分析了国内外在多值逻辑函数完备性理论方面所取得的成果. 详细讨论了完全 多值逻辑函数、部分多值逻辑函数和一元多值逻辑函数的完备性理论,以及带常量完备性,Sheffer函数,对称函数,α完备性,G完备性.最后介绍了国际多值逻辑与计算机科学技术密相关的一些新的研究动向.该文在第二章中,研究了部分多值逻辑函数理论,取得了如下成果:1.对部分多值逻辑函数准完备类中的一元半群进行了研究,定出了一些极大半群;2.对部分多值逻辑函数准完备类中的一元部分群进行了研究,定出了一些极大半群.3.对部分多值逻辑中的基本群、基本半群和基本部分半群进行了研究,定出了一些基本半群和基本部分半群.