A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised

von Shillito, lan
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)