欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
利用赋值集的随机化方法,在三值R0命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间.指出当取均匀概率测度,且各概率测度均为1/3时,随机真度就转化为计量逻辑学中的真度,同时两公式间的随机距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间.
英文摘要：
By means of randomization, the concept of randomized truth degree and randomized logic pseudo-metric of formulas in R0 three-valued propositional logic are introduced. The concept of randomized logic metric space is also introduced and it is proved that the new built randomized concepts are extensions of the corresponding concepts in quantified logic.
同期刊论文项目
同项目期刊论文
期刊信息
位置：