Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness.

Ulrich Kohlenbach

Published in: Arch. Math. Log. (2021)

Keyphrases

proof theoretic
nonmonotonic reasoning
linear logic
sufficient conditions
proof theory
model theoretic
default reasoning
constraint logic programming
fixpoint
database
knowledge representation
stationary policies
description logics
deductive databases
reasoning problems
cut elimination