Proof theory in the abstract.

J. M. E. Hyland

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

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
high level
special case
knowledge representation
partial order
nonmonotonic reasoning