Méndez, J. M., & Robles, G. (2007). Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation. Logic and Logical Philosophy, 15(3), 175–191. https://doi.org/10.12775/LLP.2006.011