首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--数理逻辑(符号逻辑)论文--命题演算、谓词演算、类演算论文

强左连续三角模基逻辑中命题的积分真度理论

摘要第1-8页
Abstract第8-10页
第1章 引言第10-13页
   ·课题的研究意义和国内外研究现状第10-11页
   ·本论文研究的内容第11-13页
第2章 预备知识第13-20页
   ·三角模与蕴涵算子第13-15页
   ·n值SMTL命题逻辑系统第15-20页
第3章 命题逻辑系统SMTL中公式的积分真度理论第20-29页
   ·强左连续三角模与强正则蕴涵算子第20-24页
   ·系统SMTL中公式的R真度第24-26页
   ·积分推理规则第26-27页
   ·积分相似度第27-29页
第4章 SMTL逻辑度量空间中的近似推理第29-34页
   ·系统SMTL中的伪距离第29-32页
   ·系统SMTL中的近似推理理论第32-34页
结论与展望第34-36页
参考文献第36-40页
致谢第40-41页
附录A 攻读学位期间所发表的学术论文目录第41页

论文共41页,点击 下载论文
上一篇:误差相关的半变系数模型的估计
下一篇:n值S-MTL逻辑系统中命题的Borel概率真度理论