§4. BCK Games (with any kind of backtracking)
for Constructive Implication
This simplified semantic includes constructive implication and negation for:
Intuitionistic Arithmetic, LCM, Classical Arithmetic
Web page on Tarski Games with Backtracking:
§4.1 Introducing BCK Games for constructive implication.
§4.2 How to use the program ``BCK''
§4.3 BCK Games for Intuitionistic Logic and Constructive Implication.
§4.4 Merging Intuitionistic, irreversible and reversible backtracking.
§4.5 BCK Games for LCM and Constructive Implication.
§4.6 BCK Games for Classical Logic and Constructive Implication.
Created by Mathematica (November 11, 2006)