 |
Free and accessible knowledge |
Conference papers
A gentle introduction to Girard's Transcendental Syntax
Abstract : We present a gentle introduction to the technical content of Girard's Transcendental Syntax suggesting a new framework for the proof theory of linear logic and an alternative understanding of proof-nets. In this framework, we investigate the emergence of logic from a model of computation related to tiling models and logic programs.
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271496
Contributor : Isabelle Gouat Connect in order to contact the contributor
Submitted on : Friday, June 25, 2021 - 6:25:28 PM
Last modification on : Sunday, June 27, 2021 - 3:21:21 AM
Long-term archiving on: : Sunday, September 26, 2021 - 10:34:32 PM
Contributor : Isabelle Gouat Connect in order to contact the contributor
Submitted on : Friday, June 25, 2021 - 6:25:28 PM
Last modification on : Sunday, June 27, 2021 - 3:21:21 AM
Long-term archiving on: : Sunday, September 26, 2021 - 10:34:32 PM
File
TLLA_2021_paper_5.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License