Lyon, T.S. et al. 2025. Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. Bulletin of the Section of Logic. 54, 1 (Jun. 2025), 59–151. DOI:https://doi.org/10.18778/0138-0680.2025.02.