Harmony in the light of computational ludics

DOI10.4204/EPTCS.353.7MaRDI QIDQ6657788

Yuta Takahashi, Alberto Naibo

Publication date: 6 January 2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A note on harmony
• Computational ludics
• Interactive observability in Ludics: the geometry of tests
• The calculus of higher-level rules, propositional quantification, and the foundational approach to proof-theoretic harmony
• Locus solum: From the rules of logic to the logic of rules.
• A judgmental reconstruction of modal logic
• On the meaning of logical completeness
• From Focalization of Logic to the Logic of Focalization
• Gentzen's Proof of Normalization for Natural Deduction
• Generalized connectives for multiplicative linear logic

This page was built for publication: Harmony in the light of computational ludics

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