Bounded Sequent Calculi for Non-classical Logics via Hypersequents.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Browse the full TABLEAUX paper archive.