R0型命题逻辑系统的随机化

摘要：

利用赋值集的随机化方法,在R0型n值命题逻辑系统和R0型模糊命题逻辑系统中提出了公式的随机真度和随机距离的概念,建立了随机度量空间.指出当取均匀概率时,随机真度就转化为计量逻辑学中的真度,从而建立了更一般的随机逻辑度量空间.

关键词：随机序列、随机真度、随机逻辑度量空间

所属期刊栏目：27

分类号：O141(数理逻辑、数学基础)

资助基金：国家自然科学基金资助项目71001015

在线出版日期：2013-06-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：63-70