Wikipédia en français - L'encyclopé...
Téléchargez ce dictionnaire
Calcul des séquents
En
logique mathématique
et plus précisément en
théorie de la démonstration
, le
calcul des séquents
est un système de déduction créé par
Gerhard Gentzen
.
Pour la suite, voir Wikipédia.org…
© Cet article se sert du contenu de
Wikipédia
®
et est autorisé sous les termes de la
Licence de Documentation libre GNU
et est distribué sous les termes de la
licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé
.