A new system of proof-theoretic ordinal functions.

Wilfried Buchholz

Published in: Ann. Pure Appl. Log. (1986)

Keyphrases

proof theoretic
proof theory
model theoretic
linear logic
default reasoning
nonmonotonic reasoning
constraint logic programming
cut elimination