MTL-代数上的度量化研究

摘要	第1-5页
Abstract	第5-8页
1 绪论	第8-11页
·研究背景	第8页
·国内外研究现状	第8-9页
·本论文的工作	第9-10页
·论文结构	第10-11页
2 基础知识	第11-17页
·MTL代数	第11-14页
·模糊逻辑系统MTL	第14-15页
·计量逻辑学的基本概念	第15-17页
3 计量空间	第17-26页
·计量代数	第17-19页
·MTL代数的度量化	第19-21页
·计量空间中算子的连续性	第21-24页
·逻辑度量空间	第24-25页
·本章小结	第25-26页
4 命题逻辑中理论的条件真度	第26-31页
·理论真度的概念及性质	第26-27页
·理论的条件真度	第27-28页
·近似推理与理论的和谐度	第28-30页
·本章小结	第30-31页
5 系统(?)的逻辑性质及其应用	第31-37页
·系统(?)的构成及性质	第31-33页
·(?)的可满足性,紧致性与可判定性	第33-35页
·在计量逻辑学中的应用	第35-36页
·本章小结	第36-37页
6 总结与展望	第37-38页
·论文总结	第37页
·研究展望	第37-38页
参考文献	第38-42页
致谢	第42-43页
附录	第43页