Back Sémantique de la théorie de la preuve French Semântica Prova-Teórica Portuguese Теоретико-доказова семантика Ukrainian
 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (June 2021) |
Proof-theoretic semantics is a branch of proof theory and an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical connective plays within a system of inference.