Proof-nets: The parallel syntax for proof-theory

被引：0
|
作者：
Girard, JY [1 ]
机构：
[1] LAB MATH DISCRETES,UPR 9016 CNRS,F-13288 MARSEILLE 09,FRANCE
来源：
LOGIC AND ALGEBRA | 1996年 / 180卷
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：97 / 124
页数：4
相关论文
共 50 条
  • [1] Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory
    De, Abhishek
    Saurin, Alexis
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2019, 2019, 11714 : 297 - 316
  • [2] Polarized proof-nets: Proof-nets for LC (Extended abstract)
    Laurent, O
    TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 213 - 227
  • [3] Modularity of proof-nets
    Roberto Maieli
    Quintijn Puite
    Archive for Mathematical Logic, 2005, 44 (2) : 167 - 193
  • [4] HOMOLOGY OF PROOF-NETS
    METAYER, F
    ARCHIVE FOR MATHEMATICAL LOGIC, 1994, 33 (03) : 169 - 188
  • [5] Polarized proof-nets and λμ-calculus
    Laurent, O
    THEORETICAL COMPUTER SCIENCE, 2003, 290 (01) : 161 - 188
  • [6] Concurrent construction of proof-nets
    Andreoli, JM
    Mazaré, L
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 29 - 42
  • [7] Coherence for sharing proof-nets
    Guerrini, S
    Martini, S
    Masini, A
    THEORETICAL COMPUTER SCIENCE, 2003, 294 (03) : 379 - 409
  • [8] L-nets, strategies and proof-nets
    Curien, PL
    Faggian, C
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2005, 3634 : 167 - 183
  • [9] PROOF-THEORY AND COMPLEXITY
    CELLUCCI, C
    SYNTHESE, 1985, 62 (02) : 173 - 189
  • [10] Expansion Nets: Proof-Nets for Propositional Classical Logic
    McKinley, Richard
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 535 - 549
12345