Niki, S. “Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations”. Bulletin of the Section of Logic, vol. 49, no. 4, Dec. 2020, pp. 359-75, doi:10.18778/0138-0680.2020.13.