【本章小结】 本章讨论的是证明论中的逻辑系统,主要内容可概括为: 1. 介绍了λ-演算的基本概念,语法及其所具有的一些基本性质,阐述了λ-演算与形式系统的关系及基础地位; 2. 简单介绍了Scott域的概念、序关系及同构和投影的定义,以及Scott域所具有的不同于其它模型的特点与性质; 3. 重点介绍了Gentzen串行演算的概念及基本思想,包括自然推理系统的概念及树状表示法,Gentzen串行演算的推理规则,直觉主义串行演算的特点,从而阐述了串行演算系统所具有的多方面优点; 4. 通过近邻空间的定义介绍了线性逻辑的思想,揭示了它在语法上的主要特征,以及与Gentzen串行演算的主要区别。 |