Proof theory for theories of ordinals - I: recursively Mahlo ordinals.

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

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
theoretical framework
constraint satisfaction
reasoning problems
machine learning
query language
cp nets