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.

 
  • 摘要利用赋值集的随机化方法,在三值R0命题逻辑系统中提出了公式的随机真度和随机距离,建立了随机逻辑度量空间。
今日热词
目录 附录 查词历史