{"version":"1.0","type":"link","title":"Hypersequent - Newikis","description":"In mathematical logic, the hypersequent framework is an extension of the proof-theoretical framework of sequent calculi used in structural proof theory to provide analytic calculi for logics that are not captured in the sequent framework. A hypersequent is usually taken to be a finite multiset of…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}