A Tableaux Calculus for Default Intuitionistic Logic.

Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro

Browse the full CADE paper archive.