Contraction-free Proofs and Finitary Games for Linear Logic.
André HirschowitzMichel HirschowitzTom HirschowitzPublished in: MFPS (2009)
Keyphrases
- linear logic
- cut elimination
- sequent calculus
- proof search
- natural deduction
- proof theoretic
- fixed point
- logical framework
- logic programming
- inference rules
- finite state
- computer games
- theorem prover
- game playing
- intuitionistic logic
- belief change
- modal logic
- video games
- desirable properties
- wide class
- game theory
- belief revision
- computer programs
- general purpose
- high level
- knowledge base