WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS
2016 ◽
Vol 9
(3)
◽
pp. 583-602
◽
AbstractA 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.
1988 ◽
Vol 447
(3)
◽
pp. 103-116
◽
1984 ◽
Vol 127
(1-3)
◽
pp. 214-218
◽
Keyword(s):
Keyword(s):
1998 ◽
Vol 08
(PR2)
◽
pp. Pr2-47-Pr2-50
Keyword(s):
2000 ◽
Vol 10
(PR7)
◽
pp. Pr7-95-Pr7-98
◽
1963 ◽
Vol 09
(02)
◽
pp. 427-435
◽
Keyword(s):
2013 ◽
Vol 51
(9)
◽
pp. 691-699
Keyword(s):
1962 ◽
Vol 78
(12)
◽
pp. 579-617
◽
2007 ◽
Vol 2007
(suppl_26)
◽
pp. 503-508