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

MTL-代数的稳定化子及两类逻辑算子研究

摘要第4-6页
ABSTRACT第6-7页
前言第10-18页
第一章 预备知识第18-31页
    1.1 偏序集与三角模的相关知识第18-23页
    1.2 MTL逻辑系统的相关知识第23-26页
    1.3 MTL-代数与逻辑代数的相关知识第26-31页
第二章 MTL-代数上的稳定化子第31-52页
    2.1 MTL-代数上的蕴涵稳定化子第31-40页
    2.2 MTL-代数上的乘法稳定化子第40-46页
    2.3 MTL-代数上的对合稳定化子第46-52页
第三章 MTL-代数上的真值算子第52-70页
    3.1 MTL-代数上的真值算子第52-57页
    3.2 真值MTL-代数上的真值滤子第57-67页
    3.3 真值MTL-逻辑系统第67-70页
第四章 MTL-代数上的相似似算子第70-84页
    4.1 MTL-代数上的相似算子第70-74页
    4.2 相似MTL-代数的表示第74-80页
    4.3 相似MTL-逻辑系统第80-84页
第五章 总结与展望第84-86页
参考文献第86-96页
攻读博士学位期间取得的科研成果第96-97页
攻读博士学位期间主持和参与的主要科研项目第97-98页
致谢第98-100页
作者简介第100-101页

论文共101页,点击 下载论文
上一篇:基于相等代数的几类代数结构上的态和内态的研究
下一篇:秦岭北坡生境梯度上植物群落构建研究