随机逻辑度量空间中命题稠密性与逻辑算子连续性 |
| |
引用本文: | 李修清.随机逻辑度量空间中命题稠密性与逻辑算子连续性[J].桂林航天工业高等专科学校学报,2013(4):412-416. |
| |
作者姓名: | 李修清 |
| |
作者单位: | 桂林航天工业学院理学部,广西桂林541004 |
| |
摘 要: | 在赋值域为W—0,1]的Lukasiewicz命题逻辑系统Luk中展开研究,对在命题逻辑系统Luk中李修清等得到的随机逻辑度量空间进行进一步研究。证明了随机逻辑度量空间中没有孤立点,即命题逻辑系统Luk中的命题公式在该空间中是稠密的;研究了逻辑运算子在随机逻辑度量空间中的连续性,证明了在李修清等给出的随机逻辑度量空间中,命题算子关于运算→、V与→是连续的。
|
关 键 词: | 随机真度 随机逻辑度量空间 稠密性 连续性 |
本文献已被 维普 等数据库收录! |
|