Return to Issue Details A sequent system for LP Download Download PDF