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 Do˘sen and it shows that this proposal is able to dismiss disharmonious operators without thereby adopting any global criterion.

Double-line Harmony in a Sequent Setting / Norbert, gratzl; eugenio, orlandelli. - STAMPA. - (2017), pp. 157-171. (Intervento presentato al convegno Logica 2016 tenutosi a Hejnice Monastery, Czech Republic nel 20 -24 giugno 2016).

Double-line Harmony in a Sequent Setting

ORLANDELLI, EUGENIO
2017

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 Do˘sen and it shows that this proposal is able to dismiss disharmonious operators without thereby adopting any global criterion.
2017
Logica yearbook 2016
157
171
Double-line Harmony in a Sequent Setting / Norbert, gratzl; eugenio, orlandelli. - STAMPA. - (2017), pp. 157-171. (Intervento presentato al convegno Logica 2016 tenutosi a Hejnice Monastery, Czech Republic nel 20 -24 giugno 2016).
Norbert, gratzl; eugenio, orlandelli
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/607039
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 5
social impact