A phase semantics for polarized linear logic and second order conservativity.
Masahiro HamanoRyo TakemuraPublished in: J. Symb. Log. (2010)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- sequent calculus
- cut elimination
- fixed point
- desirable properties
- formal semantics
- logic programs
- higher order
- inference rules
- answer set programming
- default reasoning
- proof theory
- artificial intelligence
- reasoning tasks
- proof search
- temporal logic
- database systems