Deep Inference

A proof-theoretic framework in which inference rules may be applied at any depth inside logical expressions rather than only at the root; deep inference supports symmetric, local, and often more compact proof systems such as the Calculus of Structures.