A gentle introduction to Girard's Transcendental Syntax

Boris Eng (1) , Thomas Seiller (2)

1 LIPN - Laboratoire d'Informatique de Paris-Nord
2 CNRS - Centre National de la Recherche Scientifique

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.

Domaines: Logique en informatique [cs.LO]

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⟩