Substructural Logics Slc 2 C by Kosta Dosen & Dosen Schroeder-Heister