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.
Read more about this topic: Proof Theory
Related Subjects
Related Phrases
Related Words