Quasi-ordinals and proof theory.

Published in: Graph Structure Theory (1991)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
belief revision
machine learning
decision making
fixed point
probabilistic reasoning
nonmonotonic reasoning