Méndez, J. M.; Robles, G. Relevance Logics, Paradoxes of Consistency and the K Rule II. A Non-Constructive Negation. LLP 2007, 15, 175-191.