Topic summary
Proof-theoretic
Extracted from the Wikipedia article Proof theory.
Proof-theoretic semantics
In linguistics, type-logical grammar, categorial grammar and Montague grammar apply formalisms based on structural proof theory to give a formal natural language semantics.