The Studia Logica special issue on cut-elimination, edited by Alex Leitsch, is out. A bunch of very interesting papers. I’m especially glad to see Alessandra Carbone publish in proof theory again! I’m a big fan.
(Self-promotion: the issue also contains the final version of Georg Moser and my epsilon calculus paper. And while I’m linking, and since I’m too
lazy busy to update my webpage, also a link to my review of Potter’s book Reason’s Nearest Kin in the Notre Dame Journal.)