Niki, S. Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations. B Sect Log 2020, 49, 359-375.