摘要 | 第1-4页 |
Abstract | 第4-5页 |
符号说明 | 第5-6页 |
第一章 引言与预备 | 第6-13页 |
·引言 | 第6-8页 |
·预备知识 | 第8-13页 |
第二章 BR_0代数的相关性质与成为BOOLE代数的条件 | 第13-20页 |
·(正定)关联BR_0代数的基本性质 | 第13-15页 |
·BR_0代数的Heyting性及成为Boole代数的条件 | 第15-18页 |
·可交换BR_0代数中的上确界和下确界 | 第18-20页 |
第三章 BR_0代数与其它逻辑代数的关系及其定义简化形式 | 第20-26页 |
·BR_0代数与其它逻辑代数的关系 | 第20-23页 |
·可交换BR_0代数定义的简化形式 | 第23-26页 |
第四章 BL~*系统中单原子生成的{﹁,→}型公式的真值函数特征 | 第26-30页 |
参考文献 | 第30-31页 |
附录:攻读学位期间发表的学术论文 | 第31-32页 |
致谢 | 第32-33页 |