Reducing redundancy in cut-elimination by resolution.

Bruno Woltzenlogel Paleo

Published in: J. Log. Comput. (2017)

Keyphrases

cut elimination
sequent calculus
linear logic
natural deduction
inference rules
wide class
proof theoretic
sufficient conditions
modal logic
linear time temporal logic
markov random field
theorem prover
sequent calculi