Phase semantics for light linear logic.
Max I. KanovichMitsuhiro OkadaAndre ScedrovPublished in: Theor. Comput. Sci. (2003)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- fixed point
- cut elimination
- proof search
- desirable properties
- sequent calculus
- nonmonotonic reasoning
- answer set programming
- default reasoning
- model theoretic
- reasoning tasks
- inference rules
- formal semantics
- machine learning
- graph cuts
- reinforcement learning
- high level
- knowledge base