Double-line Harmony in a Sequent Setting

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

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.

• Dokumententyp: Buchbeitrag
• EU-FP7 Grant Agreement Number: 675415
• Publikationsform: Publisher's Version
• Keywords: Proof-theoretic semantics; harmony; sequent calculi; doubleline rules; inversion principles
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Diaphora: Logic and Paradox
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie ; 100 Philosophie und Psychologie > 160 Logik
• ISBN: 978-1-84890-243-6
• Ort: London
• Sprache: Englisch
• ID: 41342
• Veröffentlicht am: 06. Dez. 2017 05:32