Logo Logo
Switch Language to German
Gratzl, Norbert; Orlandelli, Eugenio (2017): Double-line Harmony in a Sequent Setting. In: Arazim, Pavel; Lávička, Tomáš (eds.) : The Logica Yearbook 2016. London: College Publications. pp. 157-171
- Submitted Version 282kB


This paper concentrates on how to capture harmony in sequent calculi. It starts by considering a proposal made by Tennant and some objections to it which have been presented by Steinberger. Then it proposes a different analysis which makes use of a double-line presentation of sequent calculi in the style of Dosen and it shows that this proposal is able to dismiss disharmonious operators without thereby adopting any global criterion.