A substructural logic for layered graphs | UPT Perpustakaan UHAMKA