Individual km#proof-theoretic_semantics__prooftheoreticsemantic  approach associating the meaning of propositions with the roles that they can play in inferences
  url:  http://en.wikipedia.org/wiki/Proof-theoretic_semantics
  >part of:  semantics_of_logic  approaches that logicians have introduced to understand and determine that part of meaning in which they are interested; the logician traditionally is not interested in the sentence as uttered but in the proposition, an idealised sentence suitable for logical manipulation
     >part of:  semantics__semantic  the study of language meaning
        >part of:  theoretical_linguistics__theoreticallinguistic
           >part of:  linguistics  the scientific study of language

No statement uses or specializes proof-theoretic_semantics; click here to add one.