Kamide N. Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C. B Sect Log. 2025;54(2):157-205. doi:10.18778/0138-0680.2025.04