A Proof-Theoretic Bound Extraction Theorem for CAT (κ) -Spaces.

Ulrich Kohlenbach Adriana Nicolae

Published in: Stud Logica (2017)

Keyphrases

proof theoretic
linear logic
nonmonotonic reasoning
constraint logic programming
proof theory
lower bound
default reasoning
fixpoint
artificial intelligence
natural language
belief revision