Niki S. Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations . B Sect Log [Internet]. 2020 Dec. 30 [cited 2024 May 4];49(4):359-75. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/8164