Proof-Theoretic Investigations on Kruskal's Theorem.

Michael Rathjen Andreas Weiermann

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

Keyphrases

proof theoretic
intuitionistic logic
linear logic
nonmonotonic reasoning
default reasoning
proof theory
model theoretic
constraint logic programming
fixpoint
belief revision
cut elimination
hidden markov models
knowledge base
multi agent
logic programming
deductive databases