A New Calculus for Intuitionistic Strong Lb Logic: Strong Termination and Cut-Elimination, Formalised.

Ian Shillito, Iris van der Giessen, Rajeev Gor, Rosalie Iemhoff

Browse the full TABLEAUX paper archive.