A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised (Best paper award)

Recommended citation: Shillito, Ian, van der Giessen, Iris, Goré, Rajeev and Iemhoff, Rosalie. (2023). "A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised" TABLEAUX 2023.
Download Paper