Cut elimination by unthreading.

Gabriele Pulcini

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

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
natural deduction
inference rules
sufficient conditions
proof theoretic
sequent calculi
modal logic
intuitionistic logic
linear time temporal logic
theorem prover
logic programming
fixed point
proof search
programming language
bayesian networks