Generalized Tableau Systems for Intemediate Propositional Logics.

Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Browse the full TABLEAUX paper archive.