On the Proof Theory of Coquand's Calculus of Constructions.

Jonathan P. Seldin

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

Keyphrases

proof theory
proof theoretic
default reasoning
automated reasoning
reasoning problems
cut elimination
knowledge representation
computational complexity
belief revision
default logic