A Constructive Game Semantics for the Language of Linear Logic.
Giorgi JaparidzePublished in: Ann. Pure Appl. Log. (1997)
Keyphrases
- linear logic
- intuitionistic logic
- proof theoretic
- logic programming
- logical framework
- logical language
- model theoretic
- specification language
- intended meaning
- operational semantics
- fixed point
- cut elimination
- proof theory
- highly expressive
- programming language
- desirable properties
- speech acts
- game theory
- formal semantics
- constraint logic programming
- proof search
- reasoning tasks
- logic programs
- description logics
- computer games
- sequent calculus
- classical logic
- default reasoning
- probabilistic reasoning
- deductive databases