Calcul des Séquents

Un cadre déductif formel dans lequel les séquents sont les unités syntaxiques principales et les preuves se construisent en appliquant des règles d'inférence structurelles et logiques aux séquents, incluant souvent une règle de coupure et éventuellement des règles structurelles comme l'affaiblissement, la contraction et la permutation.