Explaining Gentzen's Consistency Proof within Infinitary Proof Theory.

Wilfried Buchholz

Published in: Kurt Gödel Colloquium (1997)

Keyphrases

proof theory
default reasoning
proof theoretic
cut elimination
automated reasoning
cp nets
reasoning problems
sequent calculus
linear logic
inference rules
theorem prover
reasoning tasks
bayesian networks
temporal logic
horn clauses