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.
Norbert, g., eugenio, o. (2017). Double-line Harmony in a Sequent Setting. London : College Publications.
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.