Semi-Substructural Logics à la Lambek

Cheng-Syuan Wan

This work studies the proof theory of left (right) skew monoidal closed categories and skew monoidal bi-closed categories from the perspective of non-associative Lambek calculus. S…