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