Proof-theoretic strengths of the well-ordering principles.

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

Keyphrases

proof theoretic
default reasoning
proof theory
linear logic
nonmonotonic reasoning
model theoretic
constraint logic programming
partial order
cut elimination
fixpoint
sequent calculus
search space
wide class
machine learning
logic programming
description logics
object oriented
data model
multi agent
bayesian networks