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

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

作　　者：左卫兵[1] 

机构地区：[1]华北水利水电学院数学与信息科学学院,河南郑州450011

出　　处：《模糊系统与数学》2011年第4期18-25,共8页Fuzzy Systems and Mathematics

基　　金：河南省自然科学基金资助项目(112300410040);河南省教育厅自然科学基金资助项目(2011A110012)

摘　　要：利用赋值集的随机化方法,在四值非线性序集逻辑系统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.

关 键 词：非线性序集 命题逻辑 随机真度 随机距离 逻辑度量空间 

分 类 号：O141[理学—数学]