Logic And Philosophy Of Language

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Logic And Philosophy Of Language.

• Proof-theoretic semantics — An approach to meaning in which the inferential rules governing an expression, especially introduction and elimination rules, constitute or determine its semantic content.