TY  - BOOK
AU  - Wansing,Heinrich
TI  - Dag Prawitz on Proofs and Meaning
SN  - 9783319110417
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing
KW  - Philosophy
KW  - Logic
KW  - Computer logic
KW  - Mathematical logic
N1  - 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
UR  - http://dx.doi.org/10.1007/978-3-319-11041-7
ER  -