【本章小结】

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