Sequents Generalized

  • Heinrich Wansing
Part of the Trends in Logic book series (TREN, volume 3)


Before display logic is introduced in Chapter 3, in the present chapter several other ideas of generalizing the standard notion of sequent are first briefly reviewed. At the moment, modal proof theory is developing in many directions, see, for example, [188]. In addition to DL various other generalizations of the standard Gentzen format(s) have been suggested and investigated. The list of approaches dealt with below is not intended to be complete in any sense. These formalisms are either partly related, in spirit at least, to DL or otherwise just give an impression of some ways in which Gentzen’s notion of sequent may be generalized. Kanger-style calculi using ‘spotted formulas’ [91], [132] and relational proof systems for modal and non-classical logics [124], [125], [126], for example, are not considered, and Gabbay’s [68] theory of labelled deductive systems is not dealt with here either. Labelled tableaux calculi and structured consequence relations are considered in Chapters 7 and 8.


Proof System Sequent System Natural Deduction Proof Theory Structural Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1998

Authors and Affiliations

  • Heinrich Wansing
    • 1
  1. 1.Institute of Logic and Philosophy of ScienceUniversity of LeipzigLeipzigGermany

Personalised recommendations