Login / Signup

Almost Duplication-Free Tableau Calculi for Propositional Lax Logics.

Alessandro AvelloneMauro Ferrari
Published in: TABLEAUX (1996)
Keyphrases