On the Proof-Theoretic Strength of Monotone Induction in Explicit Mathematics.

Thomas Glaß Michael Rathjen Andreas Schlüter

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

Keyphrases

proof theoretic
linear logic
nonmonotonic reasoning
proof theory
default reasoning
fixpoint
constraint logic programming
model theoretic
proof search
machine learning
multi agent
search space
fixed point
answer set programming
operational semantics