§3. BCK Games (with reversible backtracking)
for Material Implication and Cut-free proofs
This simplified semantic includes implication and negation only as defined connectives, and proofs without Cut rule.
Web page on Tarski Games with Backtracking:
§3.1 Introducing BCK Games (with reversible backtracking).
§3.2 How to use the program ``BCK''
§3.3 BCK Games for Positive Classical Logic.
Created by Mathematica (October 20, 2006)