Cut elimination for entailment relations.

Davide Rinaldi Daniel Wessel

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

Keyphrases

cut elimination
sequent calculus
linear logic
monotonicity constraints
natural deduction
wide class
logic programming
bayesian networks
sufficient conditions
linear time temporal logic
answer set programming
theorem prover
inference rules
fixed point
euclidean distance
logic programs
machine learning