English Hypersequent Cited by user Headbomb on 10 Sep 2019 In mathematical logic, the hypersequent framework is an extension of the proof-theoretical framework of sequent calculi used in structural proof theory to provide…