Proof-theoretic semantics

Proof-theoretic semantics is a branch of proof theory and an approach to the semantics of logic in which the meaning of propositions and logical connectives is explained by the role they play within a system of inference. On this view, a proof is not merely a device for establishing that a sentence holds under some prior assignment of meaning; rather, the patterns of correct inference are themselves constitutive of what the logical vocabulary means.

Source: Wikipedia — Proof-theoretic semantics (CC BY-SA 4.0)