Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.

Rajeev Gor, Revantha Ramanayake

Browse the full AiML paper archive.