Studia Logica

, Volume 102, Issue 6, pp 1245–1294

Hypersequent and Display Calculi – a Unified Perspective

  • Agata Ciabattoni
  • Revantha Ramanayake
  • Heinrich Wansing
Article

DOI: 10.1007/s11225-014-9566-z

Cite this article as:
Ciabattoni, A., Ramanayake, R. & Wansing, H. Stud Logica (2014) 102: 1245. doi:10.1007/s11225-014-9566-z

Abstract

This paper presents an overview of the methods of hypersequents and display sequents in the proof theory of non-classical logics. In contrast with existing surveys dedicated to hypersequent calculi or to display calculi, our aim is to provide a unified perspective on these two formalisms highlighting their differences and similarities and discussing applications and recent results connecting and comparing them.

Keywords

Proof theory Hypersequent calculi Display calculi 

Copyright information

© Springer Science+Business Media Dordrecht 2014

Authors and Affiliations

  • Agata Ciabattoni
    • 1
  • Revantha Ramanayake
    • 1
  • Heinrich Wansing
    • 2
  1. 1.Department of Computer LanguagesTechnische Universität WienWienAustria
  2. 2.Department of Philosophy IIRuhr University BochumBochumGermany

Personalised recommendations