scientific article; zbMATH DE number 2110616

zbMATH Open1056.03034MaRDI QIDQ4823136FDOQ4823136

Authors: Jean-Yves Girard 

Publication date: 26 October 2004

Title of this publication is not available (Why is that?)

Recommendations

• Locus solum: From the rules of logic to the logic of rules.
• From Foundations to Ludics
• First order in Ludics
• Dialogues in Ludics
• scientific article; zbMATH DE number 1948179

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 (8)

• Title not available (Why is that?)
• Ludics and Web: Another Reading of Standard Operations
• First order in Ludics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards Ludics Programming: Interactive Proof Search
• Locus solum: From the rules of logic to the logic of rules.
• From Foundations to Ludics

This page was built for publication:

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