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 条

[11] PROOF-THEORY AND SET-THEORY
TAKEUTI, G
SYNTHESE, 1985, 62 (02) : 255 - 263
[12] Handsome proof-nets:: perfect matchings and cographs
Retoré, C
THEORETICAL COMPUTER SCIENCE, 2003, 294 (03) : 473 - 488
[13] Modularity of proof-nets - Generating the type of a module
Maieli, R
Puite, Q
ARCHIVE FOR MATHEMATICAL LOGIC, 2005, 44 (02): : 167 - 193
[14] Event Domains, Stable Functions and Proof-Nets
Abramsky, Samson
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 172 (33-67) : 33 - 67
[15] Proof-Theory and Semantics for a Theory of Definite Descriptions
Kuerbis, Nils
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 95 - 111
[16] An application of proof-nets to the study of fragments of the Lambek calculus
Savateev, Yu. V.
IZVESTIYA MATHEMATICS, 2011, 75 (03) : 631 - 663
[17] Completeness of MLL proof-nets WRT weak distributivity
Joinet, Jean-Baptiste
JOURNAL OF SYMBOLIC LOGIC, 2007, 72 (01) : 159 - 170
[18] An algebraic correctness criterion for intuitionistic multiplicative proof-nets
de Groote, P
THEORETICAL COMPUTER SCIENCE, 1999, 224 (1-2) : 115 - 134
[19] Planar and braided proof-nets for multiplicative linear logic with mix
Bellin, G
Fleury, A
ARCHIVE FOR MATHEMATICAL LOGIC, 1998, 37 (5-6) : 309 - 325
[20] Planar and braided proof-nets for multiplicative linear logic with mix
G. Bellin
A. Fleury
Archive for Mathematical Logic, 1998, 37 : 309 - 325

← 1 2 3 4 5 →