WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS

A logical constant is weakly disharmonious if its elimination rules are weaker than its introduction rules. Substructural weak disharmony is the weak disharmony generated by structural restrictions on the eliminations. I argue that substructural weak disharmony is not a defect of the constants which exhibit it. To the extent that it is problematic, it calls into question the structural properties of the derivability relation. This prompts us to rethink the issue of controlling the structural properties of a logic by means of harmony. I argue that such a control is possible and desirable. Moreover, it is best achieved by global tests of harmony.

Trovami (UniCASearch)


Titolo: WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
Autori: 
DICHER, BOGDAN AUGUSTIN
Data di pubblicazione: 2016
Rivista: 
THE REVIEW OF SYMBOLIC LOGIC  
Handle: http://hdl.handle.net/11584/176907
Tipologia:1.1 Articolo in rivista

File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
 
 
 
Powered by IRIS-about IRIS-Utilizzo dei cookie
Logo CINECA  Copyright © 2020