Proof and refutation in MALL as a game

DOI10.1016/j.apal.2009.07.017zbMath1257.03090OpenAlexW2106631406MaRDI QIDQ636305

Alexis Saurin, Olivier Delande, Dale A. Miller

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.07.017

zbMATH Keywords

linear logicproof theorygame semantics

Mathematics Subject Classification ID

Applications of game theory (91A80) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (4)

Aristotle on Universal Quantification: A Study from the Point of View of Game Semantics ⋮ A semantic framework for proof evidence ⋮ From QBFs to \textsf{MALL} and back via focussing ⋮ A proof theory for model checking

Cites Work

• Linear logic
• A game semantics for linear logic
• Decision problems for propositional linear logic
• The structure of multiplicatives
• Linear logic as a logic of computations
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• An infinite-game semantics for well-founded negation in logic programming
• Asynchronous games. II: The true concurrency of innocence
• Locus Solum: From the rules of logic to the logic of rules
• Quantitative deduction and its fixpoint theory
• A Proof-Theoretic Approach to Logic Programming
• Logic Programming with Focusing Proofs in Linear Logic
• Bisimulation, modal logic and model checking games
• Games and full completeness for multiplicative linear logic
• Towards Ludics Programming: Interactive Proof Search
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Proof and refutation in MALL as a game