Niki, Satoru. “Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations”. Bulletin of the Section of Logic 49, no. 4 (December 30, 2020): 359–375. Accessed May 4, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/8164.