Semantics for Intuitionistic Arithmetic Based on Tarski Games with Retractable Moves.
Stefano BerardiPublished in: TLCA (2007)
Keyphrases
- formal semantics
- game theory
- video games
- game design
- fuzzy set theory
- logical framework
- arithmetic operations
- fuzzy numbers
- game playing
- logic programming
- linear logic
- active rules
- computer games
- semantic information
- serious games
- nash equilibria
- theorem prover
- classical logic
- human computation
- data model
- playing games