  In addition to the usual types of sequent calculi, researchers have also recently started to discuss ‘hypersequent’ calculi for systems of MVL. Hypersequents are finite multisets, i.e. finite unordered lists of ordinary sequents.