Calcul des Hyperséquents

Une extension du calcul des sequents qui manipule des collections (multiensembles) de sequents — appelées hyperséquents — en parallèle, fournissant des mécanismes structurels pour capturer des logiques d'intermédiaire force et de nombreuses logiques non classiques en permettant la communication et l'interaction entre sequents composants.