Which structural rules admit cut elimination? An algebraic criterion.

Kazushige Terui

Published in: J. Symb. Log. (2007)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
natural deduction
sufficient conditions
inference rules
proof theoretic
modal logic
intuitionistic logic
machine learning
search algorithm
object oriented
markov random field
theorem prover
theorem proving