A Forward Unprovability Calculus for Intuitionistic Propositional Logic.

Camillo Fiorentini, Mauro Ferrari

Browse the full TABLEAUX paper archive.