Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01870787n
Noun Concept
Categories: Logique, Raisonnement mathématique, Logique mathématique, Théorie de la démonstration, Méthode de démonstration
FR
calcul des séquents  Calcul de séquences  théorème d'élimination des coupures
FR
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,,. Wikipedia
Definitions
Relations
Sources
FR
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,,. Wikipedia
système de déduction mathématique Wikidata
HAS PART
règle de coupure
règle des coupures
NAMED AFTER
Gerhard Gentzen
Wikipedia
FR
calcul des séquents
Wikidata
FR
Calcul des séquents
Wikipedia Redirections
FR
Calcul de séquences, théorème d'élimination des coupures
Wikipedia Translations
FR
calcul des séquents

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License