多值逻辑中函数的完备性问题

在K值逻辑理论中,函数系的完备性之判定问题是一个基本而重要的问题,同时也是K值计算机理论中必需解决的问题。此问题的彻底解决依赖于定出K值函数集P_k中的所有极大封闭集。Post定出了P_2中的所有极大封闭集共5个,定出了P_3中的所有极大封闭集18个。作者定出了P_4中的所有极大封闭集共82个。