§1. Tarski Games for Material Implication
and Cut-free proofs

A non-effective game interpretation of Truth

Web page on Tarski Games with Backtracking:

We introduce an interpretation of a generic mathematical statement through a game, representing a debate between two players, Eloise and Abelard, about the statement. Eloise claims the statement is true. Abelard claims that the statement is false. Each step in the game represents a logical argument in favor of the truth of the statement A (if given by Eloise), or against the truth of the statement (if given by Abelard). Eloise has a winning strategy for the game associated to the statement if and only if the statement is true. Abelard has a winning strategy for the game associated to the statement if and only if the statement is false.

Created by Mathematica  (October 17, 2006)