Prawitz, Proofs, and Meaning (Q5213604)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Prawitz, Proofs, and Meaning |
scientific article; zbMATH DE number 7162479
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Prawitz, Proofs, and Meaning |
scientific article; zbMATH DE number 7162479 |
Statements
Prawitz, Proofs, and Meaning (English)
0 references
4 February 2020
0 references
general proof theory
0 references
Gerhard Gentzen
0 references
Dag Prawitz
0 references
natural deduction
0 references
normalization
0 references
proof-theoretic semantics
0 references
anti-realism
0 references
0 references
0 references
0 references
0 references
0 references
0.9016115
0 references
0.8802854
0 references
0 references
0.8520238
0 references
0 references
0.84715086
0 references
0 references
