BL~*系统的一种扩张系统及命题演算系统中公式的矛盾度理论

摘要	第1-4页
Abstract	第4-8页
前言	第8-10页
第1章 预备知识	第10-18页
·命题演算系统BL*及其代数结构	第10-15页
·命题演算系统BL*	第10-12页
·BR0代数	第12-15页
·MTL系统和MTL代数	第15-18页
·MTL系统	第15-16页
·MTL代数	第16-18页
第2章 BL*系统的扩张系统及其完备性	第18-37页
·□BL*系统	第18-23页
·□BL*系统的代数结构:DBR0代数	第23-26页
·□BR0代数中的 □滤子	第26-30页
·□BL*系统的完备性	第30-37页
·□BL*系统的弱完备性	第30-32页
·□BL*系统的强完备性	第32-33页
·□BL*系统的标准完备性	第33-37页
第3章 命题演算系统中公式的矛盾度理论	第37-49页
·二值逻辑系统L中的矛盾度理论	第37-41页
·系统L中公式的矛盾度	第37-38页
·系统L中公式间的伪度量	第38-41页
·Ln命题逻辑系统中的矛盾度理论	第41-49页
·Ln中公式的矛盾度	第41-43页
·Ln中公式矛盾度的积分表示	第43-45页
·逻辑度量空间(F(S),(?)Ln)	第45-49页
总结	第49-50页
参考文献	第50-52页
致谢	第52-53页
攻读硕士学位期间的研究成果	第53页