Lyon, T. S., Ciabattoni, A., Galmiche, D., Girlando, M., Larchey-Wendling, D., Méry, D., … Ramanayake, R. (2025). Internal and External Calculi: Ordering the Jungle without Being Lost in Translations. Bulletin of the Section of Logic, 54(1), 59–151. https://doi.org/10.18778/0138-0680.2025.02