Now showing items 1-1 of 1

    • Hypersequent Calculi - Theory and Application 

      Bednarska, Kaja (2016)
      The present work is a methodological study on different methods of proving cut eliminability in the framework of hypersequent calculi. In particular we provide axiomatic and semantical characterization of modal logic S5 ...