Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen.
Peter Schroeder-HeisterPublished in: Bull. Symb. Log. (2002)
Keyphrases
- proof theoretic
- cut elimination
- proof theory
- linear logic
- sequent calculus
- default reasoning
- nonmonotonic reasoning
- constraint logic programming
- model theoretic
- fixpoint
- wide class
- sufficient conditions
- horn clauses
- logic programming
- artificial intelligence
- natural deduction
- logic programs
- deductive databases
- belief revision
- modal logic
- reasoning problems
- description logics