In this paper, we aim to devise a logic that can deal with both the paradoxes that motivate dialetheism and the paradoxes related to the irrelevance of material implication. We propose the semantics and the sequent calculus of a relevant logic inspired by difference-making accounts of causation and arguably true to Graham Priest’s Logic of Paradox LP : a relevant logic that validates those and only those LP -consequences that are not irrelevant. The new logic’s relevant implication is then added to LP to obtain a logic with the logical vocabulary required to cope with the mentioned paradoxes.
Verdée, P. (2019). Expanding the Logic of Paradox with a Difference-Making Relevant Implication. In Başkent C., Ferguson T. (ed.), Outstanding Contributions to Logic : Graham Priest on Dialetheism and Paraconsistency (p. p. 507-533). Springer. https://doi.org/10.1007/978-3-030-25365-3_24