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
|
![[img]](https://epub.ub.uni-muenchen.de/41342/1.hassmallThumbnailVersion/double-line_harmony_preprint.pdf)  Preview |
|
- Submitted Version
282kB |
Abstract
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.