Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter 2016

Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction

Sara Negri and Jan von Plato
© 2016 Walter de Gruyter GmbH, Berlin/Munich/Boston