随机逻辑度量空间中命题稠密性与逻辑算子连续性

摘要：

在赋值域为W ＝[0,1]的 Lukasiewicz 命题逻辑系统 Luk 中展开研究,对在命题逻辑系统 Luk 中李修清等得到的随机逻辑度量空间进行进一步研究。证明了随机逻辑度量空间中没有孤立点,即命题逻辑系统 Luk 中的命题公式在该空间中是稠密的；研究了逻辑运算子在随机逻辑度量空间中的连续性,证明了在李修清等给出的随机逻辑度量空间中,命题算子关于运算?、∨与→是连续的。

关键词：随机真度、随机逻辑度量空间、稠密性、连续性

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

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

页数：共5页

页码：412-416