Relational semantics for full linear logic.
Dion CoumansMai GehrkeLorijn van RooijenPublished in: J. Appl. Log. (2014)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- fixed point
- sequent calculus
- relational data
- relational databases
- desirable properties
- default reasoning
- reasoning tasks
- model theoretic
- cut elimination
- answer sets
- answer set programming
- nonmonotonic reasoning
- relational structures
- logic programs
- data model
- inference rules
- operational semantics
- deductive databases
- pairwise