Authors F.M. Lauridsen Date (dd-mm-yyyy) 2017 Title Intermediate logics admitting structural hypersequent calculi Publication Year 2017 Document type Abstract Permalink https://hdl.handle.net/11245.1/270f47b8-8abc-473e-9234-c8117cac6b0b