Cut elimination for a calculus with context-dependent rules.
Birgit ElblPublished in: Arch. Math. Log. (2001)
Keyphrases
- cut elimination
- context dependent
- sequent calculus
- linear logic
- natural deduction
- inference rules
- wide class
- semantic level
- sufficient conditions
- context free
- proof theoretic
- modal logic
- theorem prover
- low level
- intuitionistic logic
- natural language
- high level
- proof search
- theorem proving
- first order logic
- general purpose
- software engineering
- artificial intelligence