Dag Prawitz on Proofs and Meaning /
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in t...
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Series: | Outstanding Contributions to Logic,
7 |
| Subjects: | |
| Online Access: | Click here to view the full text content |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- Prawitz, proofs, and meaning; Wansing, Heinrich
- A short scientific autobiography; Prawitz, Dag
- Explaining deductive inference; Prawitz, Dag
- Necessity of Thought; Cozzo, Cesare
- On the Motives for Proof Theory; Detlefsen, Michael
- Inferential Semantics; Došen, Kosta
- Cut elimination, substitution and normalization; Dyckhoff, Roy
- Inversion principles and introduction rules; Milne, Peter
- Intuitionistic Existential Instantiation and Epsilon Symbol; Mints, Grigori
- Meaning in Use; Negri, Sara and von Plato, Jan
- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?; Pagin, Peter
- On constructive fragments of Classical Logic; Pereira; Luiz Carlos and Haeusler, Edward Hermann
- General-Elimination Harmony and Higher-Level Rules; Read, Stephen
- Hypothesis-discharging rules in atomic bases; Sandqvist, Tor
- Harmony in proof-theoretic semantics: A reductive analysis; Schroeder-Heister, Peter
- First-order Logic without bound variables: Compositional Semantics; Tait, William W
- On Gentzen's Structural Completeness Proof; Tennant, Neil
- A Notion of C-Justification for Empirical Statements; Usberti, Gabriele.