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

多值命题逻辑中若干逻辑理论的拓扑刻画

摘要第1-4页
Abstract第4-6页
引言第6-8页
第1章 多值Lukasiewicz命题逻辑系统L_n中的计量逻辑理论第8-14页
   ·系统L_n中公式的真度理论第8-10页
   ·系统L_n中公式之间的相似度第10页
   ·系统L_n中公式之间的伪距离第10-12页
   ·系统L_n中理论的发散度与相容度第12-14页
第2章 三值命题逻辑系统L_3中理论的拓扑刻画第14-22页
   ·n值Lukasiewicz命题系统中理论的根第14-16页
   ·论的发散性及其拓扑刻画第16-18页
   ·闭逻辑理论与拓扑闭集之间的关系第18-22页
第3章 n值命题逻辑系统L_n中理论的拓扑刻画第22-30页
   ·n值Lukasiewicz命题逻辑系统L_n第22-23页
   ·论的发散性及其拓扑刻画第23-24页
   ·闭逻辑理论与拓扑闭集之间的关系第24-30页
总结第30-32页
参考文献第32-36页
致谢第36-38页
攻读硕士学位期间的研究成果第38页

论文共38页,点击 下载论文
上一篇:三种逻辑代数的等价刻画和模糊模态逻辑
下一篇:逻辑代数上的滤子及反向三I算法统一形式的研究