Inducing Syntactic Cut-Elimination for Indexed Nested Sequents.
Revantha RamanayakePublished in: IJCAR (2016)
Keyphrases
- sequent calculus
- cut elimination
- linear logic
- inference rules
- compositional semantics
- modal logic
- sequent calculi
- natural deduction
- natural language
- proof theoretic
- proof search
- logical framework
- classical logic
- fixed point
- linear time temporal logic
- qualitative and quantitative
- expert systems
- artificial intelligence