Games and Full Completeness for Multiplicative Linear Logic.
Samson AbramskyRadha JagadeesanPublished in: J. Symb. Log. (1994)
Keyphrases
- linear logic
- game theory
- computer games
- sequent calculus
- video games
- logical framework
- logic programming
- fixed point
- cut elimination
- proof search
- game playing
- intuitionistic logic
- proof theoretic
- inference rules
- educational games
- desirable properties
- artificial intelligence
- general purpose
- object oriented
- natural language