四值非线性序集逻辑系统的随机化

Randomization of 4-valued Logic System Associated with a Nonlinear Ordered True Value Set

利用赋值集的随机化方法,在四值非线性序集逻辑系统L24中提出了公式的随机真度和随机距离,建立了非线性序集逻辑系统上的随机逻辑度量空间。它是计量逻辑学和随机真度的相关理论在非线性序集逻辑系统上的推广。

By means of randomization, the concept of randomized truth degree and randomized logic pseudo-metric of formulas in L^2four-valued logic system associated with a nonlinear ordered true value set are introduced. The concept of randomized logic metric space based on logic system associated with a nonlinear ordered true value set is also introduced and it is proved that the new built randomized concepts are extensions of the corresponding concepts of quantified logic and randomized truth degree in logic system associated with a nonlinear ordered true value set.