Logo Logo
Hilfe
Hilfe
Switch Language to English

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

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

Dokument bearbeiten Dokument bearbeiten