Niki S. Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations . B Sect Log. 2020;49(4):359-375. doi:10.18778/0138-0680.2020.13