Citations of:
Add citations
You must login to add citations.


There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...) 

This paper deals with the question of the logicality of modal logics from a prooftheoretic perspective. It is argued that if Dos̆en’s analysis of logical constants as punctuation marks is embraced, it is possible to show that all the modalities in the cube of normal modal logics are indeed logical constants. It will be proved that the display calculus for each displayable modality admits a purely structural presentation based on doubleline rules which, following Dos̆en’s analysis, allows us to claim that (...) 

Generalelimination harmony articulates Gentzen’s idea that the eliminationrules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the Erules allow one to infer no more and no less than the Irules justify. Pfenning and Davies call the rules locally complete if the Erules are strong enough to allow one to infer the original judgement. A method is given (...) 