Logo Logo
Hilfe
Hilfe
Switch Language to English
Gratzl, Norbert; Orlandelli, Eugenio (2017): Double-line Harmony in a Sequent Setting. In: Arazim, Pavel; Lávička, Tomáš (Hrsg.): The Logica Yearbook 2016. London: College Publications. S. 157-171
[img]
Vorschau
- Eingereichte 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.