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