王湘浩的科学理论贡献

王湘浩的科学理论贡献

50年代末，多值逻辑的一个重要问题——函数完备性问题，引起了各国学者的注意。苏联的C．B．亚布隆斯基在1958年解决了三值逻辑的完备性问题，对于一般多值逻辑则仅给出了一些零星结果。60年代初，王湘浩提出了解决这一问题的重要思想，即利用“保n项关系”的方法来研究n值逻辑的完备性问题。在他的指导下，他的学生终于在1964年解决了这一完备性问题。他们的结果没有发表，实际上比国际上公认的解决这一问题的罗森贝格定理整整早了6年。王湘浩于1963年还提出了多值逻辑中缺值函数的结构问题，并取得一些成果，这一问题后来也由他的学生完全解决了。
60年代初，王湘浩在自动机理论方面开展了研究工作，他引进了圈环的概念并解决了非奇异线性内动机的分析问题。1990年，王湘浩解决了该文中提出的因子分解问题。