S
equent
I
nvertibility
MultiSequents
SingleSuccedent
NominalSequents
ModalSequents
SRCTransforms
SequentInvertibility