proof-theoretic semantics (Q7249983)
Jump to navigation
Jump to search
approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, but in the role that the proposition or logical connective plays within the system of inference
Language | Label | Description | Also known as |
---|---|---|---|
English | proof-theoretic semantics |
approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, but in the role that the proposition or logical connective plays within the system of inference |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(4 entries)
- enwiki Proof-theoretic semantics
- frwiki Sémantique de la théorie de la preuve
- ptwiki Semântica Prova-Teórica
- ukwiki Теоретико-доказова семантика