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

逻辑代数上的滤子及反向三I算法统一形式的研究

摘要第1-4页
Abstract第4-7页
第一章 绪论第7-11页
   ·逻辑代数及其滤子第7-8页
   ·模糊推理和发展与应用第8-9页
   ·本文结构第9-11页
第二章 基础R_0-代数的正规MP-滤子和布尔MP-滤子第11-21页
   ·基本概念与常用性质第11-13页
   ·基础R_0-代数的MP-滤子,正规MP-滤子,布尔MP-滤子第13-17页
   ·各滤子间的关系第17-21页
第三章 NM(?)代数的素滤子上的拓扑结构第21-31页
   ·NM(?)代数及其性质第21-23页
   ·NM(?)代数的滤子及其性质第23-27页
   ·全体素滤子之集上的拓扑空间第27-31页
第四章 基于L~*和(?)uk逻辑系统的反向三I算法的统一形式第31-43页
   ·引言第31-32页
   ·基础知识第32-33页
   ·基于L~*和(?)uk逻辑系统的反向三I算法的统一形式第33-39页
   ·基于L~*和(?)uk逻辑系统的α-反向三I算法的统一形式第39-43页
总结第43-45页
参考文献第45-49页
致谢第49-51页
研究成果第51页

论文共51页,点击 下载论文
上一篇:多值命题逻辑中若干逻辑理论的拓扑刻画
下一篇:命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论