{"version":"1.0","type":"link","title":"Deep inference - Newikis","description":"In mathematical logic, deep inference names a general idea in structural proof theory that breaks with the classical sequent calculus by generalising the notion of structure to permit inference to occur in contexts of high structural complexity. The term deep inference is generally reserved for…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}