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