Sequent calculus and linear logic: The Blind Spot and the cut ruleblog.plover.com4 pointsfanf29 years ago