<div class="csl-bib-body">
<div class="csl-entry">Ciabattoni, A., Ramanayake, R., & Wansing, H. (2014). Hypersequent and Display Calculi - a Unified Perspective. <i>Studia Logica</i>, <i>102</i>(6), 1245–1294. https://doi.org/10.1007/s11225-014-9566-z</div>
</div>
-
dc.identifier.issn
0039-3215
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/157756
-
dc.description.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.
en
dc.language.iso
en
-
dc.relation.ispartof
Studia Logica
-
dc.subject
Logic
-
dc.subject
History and Philosophy of Science
-
dc.title
Hypersequent and Display Calculi - a Unified Perspective
