Méndez, J. M., and G. Robles. “Relevance Logics, Paradoxes of Consistency and the K Rule II. A Non-Constructive Negation”. Logic and Logical Philosophy, vol. 15, no. 3, Mar. 2007, pp. 175-91, doi:10.12775/LLP.2006.011.