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

若干逻辑代数系统结构的研究

创新性声明第1页
关于论文使用授权的说明第4-5页
符号说明第5-6页
摘要第6-8页
ABSTRACT第8-13页
第一章 绪论与预备知识第13-24页
 §1.1 BCK/BCI代数及其意义第13-17页
 §1.2 NM代数(R_0代数)及其意义第17-20页
 §1.3 格蕴涵代数及其意义第20-22页
 §1.4 内容安排第22-24页
第二章 BCK/BCI代数的理想与滤子第24-64页
 §2.1 BCI关联理想第24-31页
 §2.2 一类商BCK/BCI代数的构造及其应用第31-38页
 §2.3 FSI与FSC理想第38-46页
 §2.4 Fuzzy极大理想第46-51页
 §2.5 Fuzzy范畴理想第51-55页
 §2.6 一类有界商BCK代数的构造及其应用第55-61页
 §2.7 关于Jun-Shim-Lele的一个公开问题第61-64页
第三章 伪BCK代数与一类量子逻辑第64-85页
 §3.1 伪BCK代数及其理想第64-67页
 §3.2 伪BCK代数的同余与正规理想第67-72页
 §3.3 伪BCK代数的素理想第72-77页
 §3.4 伪BCK代数与PD-偏序集第77-81页
 §3.5 PD-代数第81-85页
第四章 正规R_0代数与伪NM代数第85-113页
 §4.1 正规R_0代数第85-89页
 §4.2 R_0代数的正规MP理想第89-92页
 §4.3 R_0代数的Fuzzy MP滤子第92-97页
 §4.4 伪NM代数第97-101页
 §4.5 伪NM代数的特征第101-104页
 §4.6 伪NM代数的滤子第104-108页
 §4.7 伪NM代数的素滤子定理第108-113页
第五章 格蕴涵代数的若干性质第113-140页
 §5.1 ILI-理想第113-119页
 §5.2 Fuzzy ILI-理想第119-125页
 §5.3 素LI-理想第125-130页
 §5.4 Fuzzy素LI-理想第130-135页
 §5.5 F(L)构成一个Brouwerian格第135-139页
 §5.6 IF(L)构成一个Boole代数第139-140页
结束语第140-141页
致谢第141-142页
参考文献第142-149页
在读博士期间撰写(发表)的论文第149-151页
在读博士期间主持、参加的科研项目第151-152页
在读博士期间获奖情况第152页

论文共152页,点击 下载论文
上一篇:后张拉预应力成形鞍形网壳的成形和竖向极限承载力试验研究
下一篇:地基—基础—贮仓结构相互作用系统动力特性及减震控制研究