Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- sequent calculus
- fixed point
- cut elimination
- logic programs
- computer games
- reasoning tasks
- model theoretic
- desirable properties
- formal semantics
- game theory
- higher order
- inference rules
- operational semantics
- default reasoning
- deductive databases
- artificial intelligence