四值非线性格值逻辑中公式的概率真度

Probability Truth Degree of Formula in 4-Valued Nonlinear Lattice Logic

王国俊在多值逻辑系统中提出了公式的真度等概念并初步建立了计量逻辑学理论.但其研究的多值命题逻辑是线性赋值格结构且真度是赋值均匀的.在四值非线性格值逻辑系统上通过势为4的概率测度空间上的无穷乘积测度定义了公式的概率真度,得到了一些平行的相关结果,说明计量逻辑学在非线性格值逻辑上和非均匀概率空间上有一定的可行性.

Truth degree of formula and the theory of quantified logic in the n-valued logic system is built by Wang Guo-jun,however,which study is based on linear assignment lattice frame and the truth degree is evenly distributed.Probability truth degree of formula is defined by infinite product measure on the probability measure space with number of 4 in the 4-valued system associated with nonlinear lattice logic and some parallel relevant results are obtained.It is illustated that quantified logic is feasible in the nonlinear lattice logic and probability space.