摘要
利用赋值集的随机化方法,在四值非线性序集逻辑系统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.
出处
《模糊系统与数学》
CSCD
北大核心
2011年第4期18-25,共8页
Fuzzy Systems and Mathematics
基金
河南省自然科学基金资助项目(112300410040)
河南省教育厅自然科学基金资助项目(2011A110012)
关键词
非线性序集
命题逻辑
随机真度
随机距离
逻辑度量空间
Nonlinear Ordered True Value Set
Proposition Logic
Randomized Truth Degree
RandomizedLogic Pseudo-metric
Logic Metric Space