Proof Theory of Reflection.

Michael Rathjen

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

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
machine learning
decision making
decision makers
fixed point