Cut Elimination and Normalization for generalized single and Multi-Conclusion Sequent and Natural Deduction Calculi.

Published in: Rev. Symb. Log. (2021)

Keyphrases

cut elimination
natural deduction
sequent calculi
sequent calculus
linear logic
inference rules
theorem prover
wide class
sufficient conditions
intuitionistic logic
theorem proving
linear time temporal logic
proof theoretic
object oriented
artificial intelligence
automated reasoning
logic programming