[1]
Kamide, N. 2025. Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C. Bulletin of the Section of Logic. 54, 2 (Jul. 2025), 157–205. DOI:https://doi.org/10.18778/0138-0680.2025.04.