在多值逻辑中求全部极大封闭集的一个能行方法

k值逻辑的重要问题之一是对于固定的k求出所有极大封闭集(见§1)的问题。(1958)的论文中提到的定理对这个问题部分地作了回答。但是,定理的证明中并没有给出定理中所指出的封闭集的能行求法,也就是没有指出如何判断两个函数集之间有无包含关系。因此,实际上,定理并没有完全解决上述问题。关于这个问题,王湘浩教授用一元函数集代替了的二元函数集(见§1定