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