Truth degree of formula and the theory of quantified logic in the many-valued logic system are built by Wang Guo-Jun, which is based on linear assignment lattice frame.The extension of truth degree is provided in the 4-valued logic system associated with nonlinear lattice logic and some parallel relevant results are obtained, which is proved feasible for quantified logic in the nonlinear lattice-valued logic.%王国俊教授在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论,但其研究的多值命题逻辑是线性赋值格结构.在四值非线性格值逻辑系统上提出推广的真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑系统上有一定的可行性.
展开▼