Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.

A. R. Balasubramanian, Timo Lang, Revantha Ramanayake

Browse the full LICS paper archive.