Provability algebras and proof-theoretic ordinals, I.

Lev D. Beklemishev

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

Keyphrases

proof theoretic
proof theory
default reasoning
nonmonotonic reasoning
fixpoint
linear logic
constraint logic programming
model theoretic
cut elimination
deductive databases
logic programs
probabilistic reasoning
temporal reasoning
sql queries
machine learning
constraint solving
search space