线性逻辑和态极逻辑引论(Ⅰ)(英文)

查看全文 作　　者：Pierre-Louis [1]Curien

机构地区：[1]CNRS & Université Paris Ⅶ

出　　处：《数学进展》索引2005年第34卷第5期,共32页

摘　　要：《线性逻辑和态极逻辑引论》一文概述了由Girard分别于1986和2001所创建的线性逻辑和态极逻辑.线性逻辑和态极逻辑汲取于计算机科学并反之应用于其中,从根本上对数理逻辑进行了彻底的审视.全文分为两部分.本文是文章的第一部分,致力于线性逻辑的联结词、证明规则、可判定性性质和模型.文章的第二部分将研究证明网并简要介绍态极逻辑.证明网是证明的图式表示,是线性逻辑的主要创新之一. 关键词：切消线性逻辑计算机科学中的逻辑计算的交互模式语义程序设计语言

相关文献

参考文献（25）
引证文献（1）
耦合文献（0）

参考文献(25)

引证文献(1)

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

线性逻辑和态极逻辑引论(Ⅰ)(英文)

参考文献(25)

引证文献(1)

用户提示