Sequentenkalkül

Ein formales deduktives Rahmenwerk, in dem Sequents die primären syntaktischen Einheiten sind und Beweise durch Anwendung struktureller und logischer Inferenzregeln auf Sequents konstruiert werden; typischerweise enthält es eine Cut-Regel und ggf. strukturelle Regeln wie Schwächung, Kontraktion und Vertauschung.