séquent de Gentzen
AUTRES DISCIPLINES
En 1935-36 Gentzen a introduit en théorie de la preuve et en logique mathématique les séquents. Ce sont des outils qui permettent d’étudier la déduction naturelle et de traduire de façon formelle les schémas de démonstrations.