Easy Proofs of Löwenheim-Skolem Theorems by Means of Evaluation Games.

Published in: CoRR (2015)

Keyphrases

first order logic
computer games
machine learning
learning environment
game theory
theorem proving
evaluation process
real time
artificial intelligence
evaluation method
game design
monte carlo tree search
sequent calculus