Inducing syntactic cut-elimination for indexed nested sequents.
Revantha RamanayakePublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- sequent calculus
- cut elimination
- linear logic
- inference rules
- compositional semantics
- modal logic
- sequent calculi
- natural deduction
- proof theoretic
- natural language
- linear time temporal logic
- proof search
- fixed point
- logic programming
- desirable properties
- theorem prover
- logical framework
- logic programs
- high dimensional
- artificial intelligence