一种弱BL形式演绎系统及其代数理论

前言	第1-9页
第一章 预备知识	第9-12页
第二章 命题逻辑	第12-40页
·弱BL的形式演绎系统	第12-28页
·弱BL的商代数	第28-31页
·弱BL商代数中的FUZZY滤子	第31-34页
·弱BL的语意理论	第34-40页
第三章 基于弱BL的谓词逻辑	第40-52页
·弱BL(？)的概念与性质定理	第40-50页
·弱BL(？)的语意理论	第50-52页
参考文献	第52-55页
致谢	第55页