---
tag: J2883WWC3M
kind: concept
name: Proof-theoretic validity
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section P
    note: adopted
    mention: wikipedia://en/76765067#IB3M
    sections: [Summary]
inventory: [K3QH7DW7QC]
---

## Summary

Referring to a valid proof in proof-theoretic semantics.