证明网和证明的身份
摘要：ESSLLI 2006 马拉加，西班牙的一个5讲座课程的笔记。本课程旨在介绍证明网的概念，从证明的身份问题的角度出发。课程将介绍证明网的基本概念，重点是呈现思想而非技术细节。课程的目标是向学生概述证明网理论，并使初学者更容易接触到关于该主题的大量文献。在课程的第一部分，将介绍与单位无关的线性逻辑的乘法片段的证明网，因为其概念相对简单。在课程的第二部分，将介绍更复杂逻辑的证明网。这是一篇关于证明身份的基本介绍。我们将讨论如何将演绎证明转化为证明网以及正确性标准是什么。
作者：Lutz Strassburger (INRIA Futurs)
论文ID：cs/0610123
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23