Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

APAL
2010

favoriteEmaildiscussreport

81views more APAL 2010»

Proof and refutation in MALL as a game

13 years 4 months ago

Proof and refutation in MALL as a game

Download www.lix.polytechnique.fr

We present a setting in which the search for a proof of B or a refutation of B (i.e., a proof of

Olivier Delande, Dale Miller, Alexis Saurin

Real-time Traffic

APAL 2010 | Game | Refutation | Usual Approach |

claim paper

Related Content

» A Neutral Approach to Proof and Refutation in MALL

» A Game Semantics for Proof Search Preliminary Results

» Narrow proofs may be spacious separating space and width in resolution

» From Focalization of Logic to the Logic of Focalization

» MeanPayoff Games and Propositional Proofs

» A combinatorial characterization of resolution width

» Resolution over linear equations and multilinear proofs

» From Proofs to Focused Proofs A Modular Proof of Focalization in Linear Logic

» Game Characterizations and the PSPACECompleteness of Tree Resolution Space

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2010
Where	APAL
Authors	Olivier Delande, Dale Miller, Alexis Saurin

Comments (0)