Transcendental Syntax I: Deterministic Case
Unpublished
Formal Antecedent
Foundations and Logic
Citation
Jean-Yves Girard. (2016). Transcendental Syntax I: Deterministic Case.
Why this reference is included
Girard’s manuscript Transcendental Syntax I: Deterministic Case (2016) is cited as a working technical source. Cited across Book I (Categorical Foundations), Part 18, Chapter The Self-Hosting Landscape; Book I (Categorical Foundations), Part 18, Chapter The Enrichment Frontier — the central framing is “Girard’s transcendental syntax program aims to derive logic from a pre-logical layer of interaction”.
Cited in
-
Book I — Categorical Foundations Part 18Chapter The Self-Hosting Landscape
Girard's transcendental syntax program aims to derive logic from a pre-logical layer of interaction
-
Book I — Categorical Foundations Part 18Chapter The Enrichment Frontier
Girard : fragments of linear logic from sub-logical operations
-
Book I — Categorical Foundations Part 18Chapter The Enrichment Frontier
Girard's transcendental syntax program envisions logic emerging from sub-logical operations — stellar resolution, constellations, designs that compute without presupposing logical connectives
-
Book I — Categorical Foundations Part 18Chapter The Enrichment Frontier
citeAltenkirchKaposi2016; Bocquet–Kaposi–Sattler 2023 & Non-Boolean, constructive adaptation to four-valued Ω_τ & Earned topos E_τ (I.D59) , E_1 → E_2 & Joyal arithmetic universes ; Abel graded modal DTT & Linear DTT not yet complete; no internal cut-elimination & 5 diagonal discipline; three-grade semiring , E_2 → E_3 & Willard 2001 (weak); Girard TX (fragments) & No full system at CIC-level proof-theoretic strength & *-autonomous proof theory via 5 (I.T39) , Book III proposes to attempt something that has not been done before