A proof-theoretic characterization of the basic feasible functionals.

Published in: Theor. Comput. Sci. (2004)

Keyphrases

proof theoretic
proof theory
linear logic
nonmonotonic reasoning
default reasoning
constraint logic programming
model theoretic
special case
fixpoint
artificial intelligence
semantic web
model checking
deductive databases