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

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

作　　者：叶晓枫[1] 张瞳 左卫兵[1] 

机构地区：[1]华北水利水电学院数学与信息科学学院,河南郑州450046 [2]河南省博物院,河南郑州450002

出　　处：《河北师范大学学报（自然科学版）》2012年第6期549-554,共6页Journal of Hebei Normal University：Natural Science

基　　金：河南省自然科学基金(112300410040);河南省教育厅自然科学基金(2011A110012);河南省高等学校青年骨干教师资助计划(2011GGJS-097)

摘　　要：利用赋值集的随机化方法,在五值非线性序集逻辑系统L25中提出了公式的随机真度和随机距离,建立了其上的随机逻辑度量空间,它是计量逻辑学和随机逻辑学在非线性序集逻辑系统上的推广.By means of randomization,the concept of randomized truth degree and randomized logic pseudo-metric of formulas in 5-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 quantitative logic and randomized truth degree in logic system associated with a nonlinear ordered true value set.

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

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