A gentle introduction to Girard's Transcendental Syntax - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

A gentle introduction to Girard's Transcendental Syntax

(1) , (2)
1
2
Boris Eng
Thomas Seiller

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.
Fichier principal
Vignette du fichier
TLLA_2021_paper_5.pdf (157.82 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

lirmm-03271496 , version 1 (25-06-2021)

Licence

Attribution - NonCommercial - CC BY 4.0

Identifiers

  • HAL Id : lirmm-03271496 , version 1

Cite

Boris Eng, Thomas Seiller. A gentle introduction to Girard's Transcendental Syntax. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03271496⟩
197 View
85 Download

Share

Gmail Facebook Twitter LinkedIn More