Geometrical semantics for linear logic (multiplicative fragment).
Sergey SlavnovPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- fixed point
- cut elimination
- formal semantics
- sequent calculus
- desirable properties
- reasoning tasks
- inference rules
- proof search
- default reasoning
- belief revision
- logic programs
- bayesian networks
- machine learning
- operational semantics
- proof theory
- artificial intelligence