Translation of Hypersequents into Display Sequents

Heinrich Wansing. Translation of Hypersequents into Display Sequents. Logic Journal of the IGPL, 6(5):719-733, 1998. [doi]

Abstract

Abstract is missing.