Assertion: deep inference | /r/CapableOf | name general idea
Facets:
value: in structural proof theory
type: OTHER
Source sentences:
text: 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.