Keyphrases
- natural deduction
- theorem prover
- inference rules
- theorem proving
- sequent calculus
- cut elimination
- intuitionistic logic
- natural language
- context free grammars
- natural language processing
- linear time temporal logic
- linear logic
- dependency parsing
- parse tree
- natural language parsing
- automated reasoning
- syntactic analysis
- word order
- logical framework
- high level