linear sequent calculus Synonyms