Cut Elimination for Monomial MALL Proof Nets.

Olivier Laurent Roberto Maieli

Published in: LICS (2008)

Keyphrases

cut elimination
linear logic
sequent calculus
natural deduction
inference rules
proof theoretic
wide class
proof search
sequent calculi
modal logic
sufficient conditions
shopping mall
logic programming
linear time temporal logic
theorem prover
proof theory