Kamide N. Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C. B Sect Log [Internet]. 2025 Jul. 2 [cited 2025 Dec. 6];54(2):157-205. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/24442