High Quality Content by WIKIPEDIA articles! En logique mathematique et plus precisement en theorie de la demonstration, le calcul des sequents est un systeme de deduction cree par Gerhard Gentzen. Le nom de ce formalisme fait reference a un style particulier de deduction qui manipule des sequents ; le systeme original a ete adapte a diverses logiques, telles que la logique classique, la logique intuitionniste et la logique lineaire. Un sequent est une suite d'hypotheses suivie d'une suite de conclusions, les deux suites etant usuellement separees par le symbole ou dans l'oeuvre originale de Gentzen. Un sequent represente une etape d'une demonstration, le calcul des sequents explicitant les operations possibles sur ce sequent en vue d'obtenir une demonstration complete et correcte.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.