Kamide, N. (2025) “Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C”, Bulletin of the Section of Logic, 54(2), pp. 157–205. doi: 10.18778/0138-0680.2025.04.