文摘
英文文摘
声明
前言
第一章几种命题逻辑系统及其完备性
1.1命题逻辑系统
1.2二值命题逻辑系统L
1.3 Lukasiewicz命题逻辑系统
1.4R0型命题逻辑系统Ln*,L*
第二章命题逻辑公式集上的相似度
2.1真度
2.2两种相似度的定义
2.3正则相似度
2.4半正则相似度
第三章伪距离和逻辑度量空间
3.1伪距离
3.2三种度量空间的等价性
第四章发散度、近似推理和误差
4.1逻辑理论的发散度
4.2 F(S)中的近似推理理论
4.3 L中的三种近似推理理论等价
总结
参考文献
致谢
攻读硕士学位期间的研究成果
西北大学;