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