马丁·海兰德 证明的抽象解释：经典命题演算。 （英语） Zbl 1095.03059号 Marcinkowski，Jerzy（编辑）等人，《计算机科学逻辑》。2004年9月20日至24日，第18届国际研讨会，CSL 2004，第13届EACSL年会，波兰卡尔帕茨。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23024-6/pbk）。计算机科学课堂讲稿3210，6-21（2004）。 概述：描述了经典命题演算证明理论的代表性抽象解释。这些为序演算中的证明提供了不变量。给出了简单情况下的计算结果，并进行了简要讨论。关于整个系列，请参见[Zbl 1060.68004号]。 引用于4文件 MSC公司： 2007年3月 证明的结构 03英镑05 经典命题逻辑 03G30型 分类逻辑，拓扑 关键词：经典命题演算;证明理论;范畴理论 软件：HOPLA公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Hyland}，莱克特。注释计算。科学。3210，6--21（2004；Zbl 1095.03059） 全文： 内政部