Proof-Net as Graph, Taylor Expansion as Pullback

Giulio Guerrieri; Luc Pellissier; Lorenzo Tortora de Falco

doi:10.1007/978-3-662-59533-6_18

Proof-Net as Graph, Taylor Expansion as Pullback

Giulio Guerrieri
, Luc Pellissier
, Lorenzo Tortora de Falco

Department of Computer Science

Sorbonne Paris Cité
Università degli studi Roma Tre

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

5 Citations (SciVal)

139 Downloads (Pure)

Abstract

We introduce a new graphical representation for multiplicative and exponential linear logic proof-structures, based only on standard labelled oriented graphs and standard notions of graph theory. The inductive structure of boxes is handled by means of a box-tree. Our proof-structures are canonical and allows for an elegant definition of their Taylor expansion by means of pullbacks.

Original language	English
Title of host publication	Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings
Editors	Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz
Place of Publication	Berlin, Germany
Publisher	Springer Verlag
Pages	282-300
Number of pages	19
ISBN (Print)	9783662595329
DOIs	https://doi.org/10.1007/978-3-662-59533-6_18
Publication status	Published - 1 Jul 2019
Event	26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 - Utrecht, Netherlands Duration: 2 Jul 2019 → 5 Jul 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11541 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019
Country/Territory	Netherlands
City	Utrecht
Period	2/07/19 → 5/07/19

Keywords

Graph
Linear logic
Proof-net
Taylor expansion

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-662-59533-6_18

main.PDF
This is a post-peer-review, pre-copyedit version of an article published in Logic, Language, Information, and Computation. The final authenticated version is available online at: https://doi.org/10.1007/978-3-662-59533-6_18
Accepted author manuscript, 689 KB

Cite this

Guerrieri, G., Pellissier, L., & Tortora de Falco, L. (2019). Proof-Net as Graph, Taylor Expansion as Pullback. In R. Iemhoff, M. Moortgat, & R. de Queiroz (Eds.), Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings (pp. 282-300). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11541 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-662-59533-6_18

Proof-Net as Graph, Taylor Expansion as Pullback. / Guerrieri, Giulio; Pellissier, Luc; Tortora de Falco, Lorenzo.
Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. ed. / Rosalie Iemhoff; Michael Moortgat; Ruy de Queiroz. Berlin, Germany: Springer Verlag, 2019. p. 282-300 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11541 LNCS).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Guerrieri, G, Pellissier, L & Tortora de Falco, L 2019, Proof-Net as Graph, Taylor Expansion as Pullback. in R Iemhoff, M Moortgat & R de Queiroz (eds), Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11541 LNCS, Springer Verlag, Berlin, Germany, pp. 282-300, 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019, Utrecht, Netherlands, 2/07/19. https://doi.org/10.1007/978-3-662-59533-6_18

Guerrieri G, Pellissier L, Tortora de Falco L. Proof-Net as Graph, Taylor Expansion as Pullback. In Iemhoff R, Moortgat M, de Queiroz R, editors, Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. Berlin, Germany: Springer Verlag. 2019. p. 282-300. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). Epub 2019 Jun 9. doi: 10.1007/978-3-662-59533-6_18

Guerrieri, Giulio ; Pellissier, Luc ; Tortora de Falco, Lorenzo. / Proof-Net as Graph, Taylor Expansion as Pullback. Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings. editor / Rosalie Iemhoff ; Michael Moortgat ; Ruy de Queiroz. Berlin, Germany : Springer Verlag, 2019. pp. 282-300 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{cc2535dbce5c49399ffad099e627a66b,

title = "Proof-Net as Graph, Taylor Expansion as Pullback",

abstract = "We introduce a new graphical representation for multiplicative and exponential linear logic proof-structures, based only on standard labelled oriented graphs and standard notions of graph theory. The inductive structure of boxes is handled by means of a box-tree. Our proof-structures are canonical and allows for an elegant definition of their Taylor expansion by means of pullbacks.",

keywords = "Graph, Linear logic, Proof-net, Taylor expansion",

author = "Giulio Guerrieri and Luc Pellissier and \{Tortora de Falco\}, Lorenzo",

year = "2019",

month = jul,

day = "1",

doi = "10.1007/978-3-662-59533-6\_18",

language = "English",

isbn = "9783662595329",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "282--300",

editor = "Rosalie Iemhoff and Michael Moortgat and \{de Queiroz\}, Ruy",

booktitle = "Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings",

note = "26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 ; Conference date: 02-07-2019 Through 05-07-2019",

}

TY - GEN

T1 - Proof-Net as Graph, Taylor Expansion as Pullback

AU - Guerrieri, Giulio

AU - Pellissier, Luc

AU - Tortora de Falco, Lorenzo

PY - 2019/7/1

Y1 - 2019/7/1

N2 - We introduce a new graphical representation for multiplicative and exponential linear logic proof-structures, based only on standard labelled oriented graphs and standard notions of graph theory. The inductive structure of boxes is handled by means of a box-tree. Our proof-structures are canonical and allows for an elegant definition of their Taylor expansion by means of pullbacks.

AB - We introduce a new graphical representation for multiplicative and exponential linear logic proof-structures, based only on standard labelled oriented graphs and standard notions of graph theory. The inductive structure of boxes is handled by means of a box-tree. Our proof-structures are canonical and allows for an elegant definition of their Taylor expansion by means of pullbacks.

KW - Graph

KW - Linear logic

KW - Proof-net

KW - Taylor expansion

UR - https://www.scopus.com/pages/publications/85068603235

U2 - 10.1007/978-3-662-59533-6_18

DO - 10.1007/978-3-662-59533-6_18

M3 - Chapter in a published conference proceeding

AN - SCOPUS:85068603235

SN - 9783662595329

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 282

EP - 300

BT - Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings

A2 - Iemhoff, Rosalie

A2 - Moortgat, Michael

A2 - de Queiroz, Ruy

PB - Springer Verlag

CY - Berlin, Germany

T2 - 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019

Y2 - 2 July 2019 through 5 July 2019

ER -

Proof-Net as Graph, Taylor Expansion as Pullback

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Typed Lambda-Calculi with Sharing and Unsharing

Cite this

Proof-Net as Graph, Taylor Expansion as Pullback

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Projects

Typed Lambda-Calculi with Sharing and Unsharing

Cite this