A parallel game semantics for Linear Logic.
Stefano BaratellaStefano BerardiPublished in: Arch. Math. Log. (1997)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- game theory
- fixed point
- sequent calculus
- alpha beta search
- video games
- answer set programming
- proof search
- computer games
- desirable properties
- cut elimination
- default reasoning
- reasoning tasks
- logic programs
- nonmonotonic reasoning
- model theoretic
- machine learning
- inference rules
- proof theory
- formal semantics
- game playing
- belief revision
- programming language