作者：Pierre—Louis; Curien切消线性逻辑计算机科学中的逻辑计算的交互模式语义程序设计语言
摘要：本文是《线性逻辑和态极逻辑引论》一文的第二部分．文章致力于证明网（第1节）和态极逻辑（第2，3，4和5节）．证明网部分尽管局限于其积线性逻辑框架，但仍不失其重要性．线性逻辑和态极逻辑均为Girard所创建．近期所发展起来的态极逻辑旨在于进一步揭示计算和逻辑的基本交互作用的本质．我们希望本文能对这一新的理论带来一些计算机科学方面的启示．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
