Logo Logo
Switch Language to German

Gratzl, Norbert and Orlandelli, Eugenio (2017): Double-line Harmony in a Sequent Setting. In: Arazim, Pavel and Lávička, Tomáš (eds.) : The Logica Yearbook 2016. London: College Publications. pp. 157-171 [PDF, 282kB]

[thumbnail of double-line_harmony_preprint.pdf]
- Submitted Version
Download (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.

Actions (login required)

View Item View Item