Méndez JM, Robles G. Relevance logics, paradoxes of consistency and the K rule II. A non-constructive negation. LLP [Internet]. 2007 Mar. 15 [cited 2025 Jun. 24];15(3):175-91. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2006.011