R_0-代数上的距离结构及其在命题逻辑中的应用

作者：赵晓东

来源：模糊系统与数学, 2010, (03): 16-23.

• 命题逻辑
• R0-代数
• 赋值
• 尺寸
• 相似度
• 伪距离 Propositional Logic
• R0-algebra
• Valuation
• Sizes
• Similarity Degrees
• Pseudo-metric

设Ω是全体从R0-代数M到R0单位区间[0,1]的同态之集,μ是Ω上的一概率测度。引进M上的元素的尺寸和元素对间的相似度,然后在M上建立了伪距离。作为应用,将距离R0-代数理论应用到命题逻辑的近似推理理论。

• 单位
  四川民族学院