On Phase Semantics and Denotational Semantics in Multiplicative-Additive Linear Logic.
Antonio BucciarelliThomas EhrhardPublished in: Ann. Pure Appl. Log. (2000)
Keyphrases
- denotational semantics
- linear logic
- programming language
- logic programming
- operational semantics
- query language
- proof theoretic
- fixed point
- abstract data types
- logical framework
- desirable properties
- cut elimination
- sequent calculus
- general purpose
- formal semantics
- inference rules
- data types
- multi agent
- knowledge base
- logic programs
- high level