Embedding the hypersequent calculus in the display calculus | UPT Perpustakaan UHAMKA