Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic.
Michele PaganiPublished in: Math. Struct. Comput. Sci. (2007)
Keyphrases
- linear logic
- denotational semantics
- cut elimination
- sequent calculus
- programming language
- proof search
- logic programming
- natural deduction
- query language
- relational algebra
- logical framework
- operational semantics
- fixed point
- proof theoretic
- desirable properties
- abstract data types
- intuitionistic logic
- inference rules
- high level
- wide class
- theorem prover
- general purpose
- object oriented
- decision procedures
- theorem proving
- answer set programming
- sufficient conditions
- database