摘要 | 第1-4页 |
Abstract | 第4-6页 |
引言 | 第6-8页 |
第1章 多值Lukasiewicz命题逻辑系统L_n中的计量逻辑理论 | 第8-14页 |
·系统L_n中公式的真度理论 | 第8-10页 |
·系统L_n中公式之间的相似度 | 第10页 |
·系统L_n中公式之间的伪距离 | 第10-12页 |
·系统L_n中理论的发散度与相容度 | 第12-14页 |
第2章 三值命题逻辑系统L_3中理论的拓扑刻画 | 第14-22页 |
·n值Lukasiewicz命题系统中理论的根 | 第14-16页 |
·论的发散性及其拓扑刻画 | 第16-18页 |
·闭逻辑理论与拓扑闭集之间的关系 | 第18-22页 |
第3章 n值命题逻辑系统L_n中理论的拓扑刻画 | 第22-30页 |
·n值Lukasiewicz命题逻辑系统L_n | 第22-23页 |
·论的发散性及其拓扑刻画 | 第23-24页 |
·闭逻辑理论与拓扑闭集之间的关系 | 第24-30页 |
总结 | 第30-32页 |
参考文献 | 第32-36页 |
致谢 | 第36-38页 |
攻读硕士学位期间的研究成果 | 第38页 |