A Terminating Sequent Calculus for Intuitionistic Strong Lb Logic with the Subformula Property.

Camillo Fiorentini, Mauro Ferrari

Browse the full IJCAR paper archive.