From Foundations to Ludics

DOI10.2178/BSL/1052669286MaRDI QIDQ4650294zbMATH OpenOpenAlexFDO

Authors Jean-Yves Girard

Publication date 9 February 2005

Published in The 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) Abstract deductive systems (03B22) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• scientific article; zbMATH DE number 2110616
• Locus solum: From the rules of logic to the logic of rules.
• Towards Ludics Programming: Interactive Proof Search
• Ludics and natural language: first approaches
• Ludics without designs. I: Triads

Cited in

(14)

• Game of grounds
• Structure of proofs and the complexity of cut elimination
• Locus solum: From the rules of logic to the logic of rules.
• Cut as consequence
• Ludics and Its Applications to Natural Language Semantics
• Figures of dialogue: a view from ludics
• scientific article; zbMATH DE number 2110616 (Why is no real title available?)
• Ludics without designs. I: Triads
• Inductive and functional types in ludics
• Towards Ludics Programming: Interactive Proof Search
• Zeta functions and the (linear) logic of Markov processes
• On the proof-theoretic structure of counterfactual inference
• Incomplete descriptions and qualified definiteness
• Qualified definiteness

This page was built for publication: From Foundations to Ludics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4650294)