Cut Elimination inside a Deep Inference System for Classical Predicate Logic.
Kai BrünnlerPublished in: Stud Logica (2006)
Keyphrases
- predicate logic
- cut elimination
- sequent calculus
- linear logic
- knowledge representation and reasoning
- formal logic
- temporal logic
- predicate calculus
- wide class
- semantic network
- inference rules
- computational linguistics
- natural deduction
- linear time temporal logic
- lower level
- information retrieval
- order sorted
- sufficient conditions
- general purpose
- software engineering