Hypersequent and Labelled Calculi for Intermediate Logics.

Agata Ciabattoni, Paolo Maffezioli, Lara Spendier

Browse the full TABLEAUX paper archive.