Editing Structural proof theory (section)

In [[mathematical logic]], '''structural proof theory''' is the subdiscipline of [[proof theory]] that studies [[proof calculi]] that support a notion of [[analytic proof]], a kind of proof whose semantic properties are exposed. When all the theorems of a logic formalised in a structural proof theory have analytic proofs, then the proof theory can be used to demonstrate such things as [[consistency]], provide [[decision procedure]]s, and allow mathematical or computational witnesses to be extracted as counterparts to theorems, the kind of task that is more often given to [[model theory]].<ref>{{Cite web |title=Structural Proof Theory |url=https://philpapers.org/rec/NEGSPT-3 |access-date=2024-08-18 |website=www.philpapers.org|language=en-GB}}</ref>