§5. BCK Games (with any kind of backtracking)
for both kinds of Implication and Cut rule
This semantic includes all first-order rules and connectives:
Full Classical Logic, Cut-rule, constructive implication and constructive negation.
Web page on Tarski Games with Backtracking:
§5.1 Introducing BCK Games for Cut.
§5.2 BCK Games for Intuitionistic Logic, Constructive Implication and Cut.
§5.3 BCK Games for LCM and Cut. Version with Material Implication.
§5.4 BCK Games for LCM and Cut. Version with Constructive Implication.
§5.5 BCK Games for Classical Logic and Cut. Version with Material Implication.
§5.6 BCK Games for Classical Logic and Cut. Version with Constructive Implication.
Created by Mathematica (November 11, 2006)