J. M. Méndez and G. Robles, “Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation”, LLP, vol. 15, no. 3, pp. 175–191, Mar. 2007.