Almost Duplication-Free Tableau Calculi for Propositional Lax Logics.

Alessandro Avellone, Mauro Ferrari

Browse the full TABLEAUX paper archive.