A parallel game semantics for Linear Logic

被引：0
作者：
Baratella, S
Berardi, S
机构：
[1] UNIV TRENT, DIPARTIMENTO MATEMAT, I-38050 TRENT, ITALY
[2] UNIV TURIN, DIPARTIMENTO INFORMAT, I-10149 TURIN, TO, ITALY
来源：
ARCHIVE FOR MATHEMATICAL LOGIC | 1997年 / 36卷 / 03期
关键词：
Parallel Algorithm; Linear Logic; Suitable Class; Game Semantic; Infinitary Linear;
D O I：
10.1007/s001530050061
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We describe the constructive content of proofs in a fragment of propositional Infinitary Linear Logic in terms of strategies for a suitable class of games. Such strategies interpret linear proofs as parallel algorithms as long as the asymmetry of the connectives ? and ! allows it.
引用
收藏
页码：189 / 217
页数：29
相关论文
共 7 条
1