Contraction-free proofs and finitary games for Linear Logic
André HirschowitzMichel HirschowitzTom HirschowitzPublished in: CoRR (2009)
Keyphrases
- linear logic
- cut elimination
- sequent calculus
- proof search
- natural deduction
- proof theoretic
- fixed point
- finite state
- logical framework
- video games
- game theory
- desirable properties
- logic programming
- inference rules
- theorem prover
- intuitionistic logic
- sufficient conditions
- belief change
- theorem proving
- wide class
- game playing
- belief revision
- computer games
- higher order
- decision procedures
- knowledge base
- knowledge representation
- probability distribution