Definitions from Wikipedia (Deep inference)

▸ noun:  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.


▸ Words similar to deep inference
▸ Usage examples for deep inference

▸ Idioms related to deep inference
▸ Wikipedia articles (New!)
▸ Words that often appear near deep inference
▸ Rhymes of deep inference

▸ Invented words related to deep inference