Niki, S. 2020. Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations . Bulletin of the Section of Logic. 49, 4 (Dec. 2020), 359–375. DOI:https://doi.org/10.18778/0138-0680.2020.13.