Properly Displayable Logics, Displayable Logics and Strong Cut-Elimination

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


In the present chapter it is shown that every displayable logic enjoys strong cut-elimination. This result sharpens Belnap’s very general cut-elimination theorem for Display Logic [16]. Moreover, Kracht’s characterization of the properly displayable modal and tense logics is presented, together with complete and cut-free display sequent systems for various axiomatic extensions of the basic intensional systems K and Kt.


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