Locus Solum: From the Rules of Logic to the Logic of Rules

Girard’s 2001 Locus Solum: From the Rules of Logic to the Logic of Rules, published in Mathematical Structures in Computer Science, is one of the program’s working technical references. Cited in Book I (Categorical Foundations), Part 18, Chapter The Self-Hosting Landscape, where the program draws on it in the context of “Girard’s transcendental syntax program aims to derive logic from a pre-logical layer of interaction.”