首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--数理逻辑(符号逻辑)论文

增加两类算子的G(?)del公理化扩张系统计量化的研究

摘要第3-4页
Abstract第4-5页
前言第7-10页
第一章 预备知识第10-14页
    1.1 Godel命题逻辑系统第10-11页
    1.2 模糊命题逻辑系统SBL的公理化扩张SBL_△和SBL_~第11-14页
第二章 △真度理论第14-22页
    2.1 △真度定义及等价形式第14-15页
    2.2 △真度相关性质及推理规则的证明第15-22页
第三章 t真度及近似推理第22-36页
    3.1 命题公式的t真度的定义及其性质第22-30页
    3.2 命题公式间的t相似度和t伪距离第30-33页
    3.3 (F(S),ρ_n)中的近似推理第33-36页
第四章 t随机真度理论第36-50页
    4.1 命题公式的t随机真度的定义及其性质第36-40页
    4.2 命题公式间的t随机相似度和t随机伪距离第40-45页
    4.3 命题公式间理论的t随机发散度和t随机相容度第45-47页
    4.4 (F(S),ρ_n)中的近似推理第47-50页
第五章 Γ-t真度理论第50-63页
    5.1 命题公式的Γ-t真度的定义及其性质第50-58页
    5.2 命题公式间的Γ-t相似度和Γ-t伪距离第58-63页
总结第63-64页
参考文献第64-67页
致谢第67-68页
攻读硕士学位期间已发表的论文第68页

论文共68页,点击 下载论文
上一篇:甲氰菊酯对泥鳅的毒性效应
下一篇:我国高校马克思主义理论教育评价研究--以高校思想政治理论课教学评价的视角