From Foundations to Ludics

DOI10.2178/BSL/1052669286zbMATH Open1056.03035OpenAlexW2165835453MaRDI QIDQ4650294FDOQ4650294

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

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

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)

Cited In (10)

• Figures of dialogue: a view from ludics
• Zeta functions and the (linear) logic of Markov processes
• Inductive and functional types in ludics
• Structure of proofs and the complexity of cut elimination
• Title not available (Why is that?)
• Towards Ludics Programming: Interactive Proof Search
• Ludics and Its Applications to Natural Language Semantics
• Locus solum: From the rules of logic to the logic of rules.
• Ludics without designs. I: Triads
• Cut as consequence

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)