Séquent
- Nom masculin singulier
Définition
- concept de la logique formelle servant à décider de la validité ou de la cohérence d'un énoncé
"séquent" dans l'encyclopédie
-
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 33 765 mots
- 1 média
La démonstration peut être obtenue à partir du Hauptsatz, sous sa forme de « séquent médian » ; réciproquement, le théorème du séquent médian peut être déduit du théorème de Herbrand. Le théorème de Herbrand est donc très proche du Hauptsatz ; c'est une formulation moins élégante, mais elle peut être utile dans certains cas. Il fournit, lui aussi, un principe de « pureté des méthodes ».
