Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

A. R. Balasubramanian, Timo Lang, Revantha Ramanayake

We establish decidability for the infinitely many axiomatic extensions of the commutative Full Lambek logic with weakening FLew (i.e. IMALLW) that have a cut-free hypersequent proo…