From Focalization of Logic to the Logic of Focalization

DOI10.1016/j.entcs.2010.08.010zbMath1343.03046OpenAlexW2005773105MaRDI QIDQ3178251

Alexis Saurin, Michele Basaldella, Kazushige Terui

Publication date: 8 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.08.010

zbMATH Keywords

linear logicinteractionproof searchludicsfocalization

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Computational ludics
• Resource modalities in tensor logic
• A categorical semantics for polarized MALL
• Polarized games
• Locus Solum: From the rules of logic to the logic of rules
• On the Meaning of Focalization
• The Duality of Computation under Focus
• From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic
• Ludics is a Model for the Finitary Linear Pi-Calculus
• Focalisation and Classical Realisability
• Logic Programming with Focusing Proofs in Linear Logic
• Sequentiality vs. concurrency in games and logic
• Focusing Strategies in the Sequent Calculus of Synthetic Connectives