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
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.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.