| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 前言 | 第10-14页 |
| 第1章 命题逻辑系统与计量逻辑学基本理论 | 第14-24页 |
| ·命题逻辑系统 | 第14-20页 |
| ·命题逻辑系统 | 第14-15页 |
| ·语构理论 | 第15页 |
| ·语义理论 | 第15-17页 |
| ·逻辑系统的完备性 | 第17页 |
| ·经典二值命题逻辑系统 | 第17-20页 |
| ·二值命题逻辑系统L中的计量逻辑学理论 | 第20-24页 |
| ·逻辑系统L中公式的真度理论 | 第20页 |
| ·逻辑系统L中公式的相似度和伪距离 | 第20-21页 |
| ·经典逻辑度量空间 | 第21-24页 |
| 第2章 经典逻辑度量空间上的反射变换 | 第24-32页 |
| ·反射变换 | 第24-26页 |
| ·Lindenbaum代数上的同构映射φ~* | 第26-27页 |
| ·反射变换φ~*的基本性质 | 第27-31页 |
| ·小结 | 第31-32页 |
| 第3章 经典逻辑度量空间中的模2次范整线性空间结构 | 第32-46页 |
| ·公式的真度和布尔函数 | 第32-34页 |
| ·M(n)上的平移群结构及其性质 | 第34-38页 |
| ·次范整线性空间M(n) | 第38-41页 |
| ·有限域F(2)上的标准n维线性赋范空间 | 第41-45页 |
| ·小结 | 第45-46页 |
| 第4章 几类特殊逻辑公式在逻辑度量空间中的分布 | 第46-66页 |
| ·对称逻辑公式在经典逻辑度量空间中的分布 | 第46-55页 |
| ·对称布尔函数 | 第46-48页 |
| ·对称逻辑公式与准对称逻辑公式 | 第48-50页 |
| ·对称逻辑公式集在逻辑度量空间中的分布 | 第50-54页 |
| ·对称逻辑公式的表示 | 第54-55页 |
| ·平衡逻辑公式集在经典逻辑度量空间中的分布 | 第55-63页 |
| ·平衡布尔函数和平衡逻辑公式 | 第56-60页 |
| ·平衡逻辑公式集在逻辑度量空间中的分布 | 第60-62页 |
| ·平衡逻辑公式的表示 | 第62-63页 |
| ·平衡逻辑公式与对称逻辑公式 | 第63-64页 |
| ·小结 | 第64-66页 |
| 第5章 经典逻辑度量空间的边角关系 | 第66-76页 |
| ·逻辑度量空间([F(S)],ρ)及等距变换 | 第66-68页 |
| ·经典逻辑度量空间中的等边多边形 | 第68-73页 |
| ·经典逻辑度量空间中的特殊图形 | 第69-72页 |
| ·([F(S)],ρ~*)中等距变换φ~*,ηG的性质 | 第72-73页 |
| ·经典逻辑度量空间中的边角关系 | 第73-74页 |
| ·小结 | 第74-76页 |
| 第6章 L_3~*系统中逻辑度量空间的拓扑性质 | 第76-86页 |
| ·三值逻辑度量空间 | 第76-78页 |
| ·逻辑伪度量空间([F(S)],ρ3)的拓扑结构 | 第78-84页 |
| ·小结 | 第84-86页 |
| 第7章 模糊模态逻辑中的永真式与准永真式 | 第86-98页 |
| ·基本模态逻辑系统和模糊模态逻辑系统 | 第86-88页 |
| ·基本模态命题逻辑系统 | 第86-88页 |
| ·模糊模态命题逻辑系统 | 第88页 |
| ·永真式与有效公式之间的关系 | 第88-93页 |
| ·准永真式 | 第93-94页 |
| ·一类永真式和准永真式 | 第94-96页 |
| ·小结 | 第96-98页 |
| 总结 | 第98-100页 |
| 参考文献 | 第100-108页 |
| 致谢 | 第108-110页 |
| 在学期间的科研成果 | 第110-112页 |
| 在学期间的科研项目与获奖情况 | 第112页 |