S. Niki, “Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations ”, B Sect Log, vol. 49, no. 4, pp. 359–375, Dec. 2020.