First-Order Substructural Logics : An Algebraic Approach