Standard Completeness for Semilinear Substructural Logics

31