Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics.

Agata Ciabattoni, Mauro Ferrari

Browse the full TABLEAUX paper archive.