Return to Article Details Semi-Substructural Logics à la Lambek with Symmetry Download Download PDF