From Foundations to Ludics

DOI10.2178/bsl/1052669286zbMath1056.03035OpenAlexW2165835453MaRDI QIDQ4650294

Jean-Yves Girard

Publication date: 9 February 2005

Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.bsl/1052669286

zbMATH Keywords

logical frameworkstructures of proofs

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Abstract deductive systems (03B22)

Related Items

Structure of proofs and the complexity of cut elimination, Figures of dialogue: a view from ludics, Cut as Consequence, Ludics and Its Applications to Natural Language Semantics