Proof-theoretic semantics associates the meaning of propositions with the roles that they can play in inferences.
Η αποδεικτικο-θεωρητική σημασιολογία (proof-theoretic semantics) αντιστοιχίζει τη σημασία των προτασεων με τους ρόλους που μπορούν να παίξουν στις λογικές συνεπαγωγές.