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

几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较

摘要第1-6页
Abstract第6-9页
主要符号表第9-11页
前言第11-13页
第1章 预备知识第13-17页
   ·几种逻辑代数和剩余格第13-15页
   ·命题逻辑系统中公式的R-真度和演绎定理第15-16页
   ·本文的主要研究工作第16-17页
第2章 几种代数系统的剩余格刻画第17-23页
   ·MV代数的剩余格刻画第17-18页
   ·R_0代数的剩余格刻画第18-19页
   ·BR_0代数的剩余格刻画第19-20页
   ·WBR_0代数的剩余格刻画第20-23页
第3章 MV代数的进一步讨论第23-29页
   ·MV代数的特征定理第23-25页
   ·关于正交模格和MV代数第25-29页
第4章 模糊命题系统Godel和L~*中条件真度的比较第29-37页
   ·引言第29-30页
   ·模糊命题系统Godel和L~*中条件真度的比较第30-37页
总结第37-39页
参考文献第39-43页
致谢第43-45页
攻读硕士学位期间的研究成果第45页

论文共45页,点击 下载论文
上一篇:模糊Z-Domain及其相关范畴性质
下一篇:时滞神经网络的稳定性分析