DMCA
Geometry of Interaction VI: a blueprint for Transcendental Syntax (2013)
by
Jean-yves Girard
| Citations: | 1 - 0 self |
BibTeX
@MISC{Girard13geometryof,
author = {Jean-yves Girard},
title = {Geometry of Interaction VI: a blueprint for Transcendental Syntax},
year = {2013}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
ne serait pas ce qu’il est. Et donc, la logique non plus. The paper makes use of a finitary version of Geometry of Interaction to fix most pending problems in propositional proof-nets. The methodological guidelines are those of transcendental syntax. 1 Transcendental Syntax Transcendental syntax starts where semantics fails: foundational issues 1.
