{"version":"1.0","type":"link","title":"Nested sequent calculus - Newikis","description":"In structural proof theory, the nested sequent calculus is a reformulation of the sequent calculus to allow deep inference.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}