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

BR0代数及对应逻辑系统中单原子生成公式的真值函数特征

摘要第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页

论文共33页,点击 下载论文
上一篇:公式真度的推广及L~*系统单原子生成真值函数的特征
下一篇:Banach空间中稠定闭算子广义预解式的存在性