Other research topics in structural theory include analytic tableau and the proof theory of substructural logics .
Analytic tableau apply the central idea of analytic proof from structural proof theory to provide decision procedures and semi-decision procedures for a wide range of logics .
Other research topics in structural theory include analytic tableau , which apply the central idea of analytic proof from structural proof theory to provide decision procedures and semi-decision procedures for a wide range of logics , and the proof theory of substructural logics .