Strong normalization in some temporal substructural logics | UPT Perpustakaan UHAMKA