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