Proof-Theoretic Semantics

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
An approach that assigns meaning to logical connectives and formulas by their roles in inference—rules of introduction and elimination—rather than by model-theoretic truth conditions.