Lyon, Tim S., Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, and Revantha Ramanayake. 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.