Proof nets sequentialisation in multiplicative linear logic

被引：3
|
作者：
Di Giamberardino, Paolo [1 ]
Faggian, Claudia [2 ]
机构：
[1] Univ Roma Tre, Inst Math Luminy, Dipartimento Filosofia, Rome, Italy
[2] Preuves Programmes & Syst, Paris 7, France
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2008年 / 155卷 / 03期
关键词：
Linear logic; Proof nets; Sequentialization;
D O I：
10.1016/j.apal.2008.04.002
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a sequent calculus proof simply by properly adding to it some special edges, called sequential edges, which express the sequentiality constraints given by sequent calculus. (c) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码：173 / 182
页数：10
相关论文
共 50 条
12345