Modelling Coeffects in the Relational Semantics of Linear Logic.
Flavien BreuvartMichele PaganiPublished in: CSL (2015)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- sequent calculus
- relational data
- cut elimination
- fixed point
- desirable properties
- reasoning tasks
- formal semantics
- data model
- proof search
- logic programs
- inference rules
- databases
- nonmonotonic reasoning
- relational databases
- answer set programming
- expert systems