Dag Prawitz on proofs and meaning. ([2015])

• Record Type: Book
• Further Information: Note: Heinrich Wansing, editor.
• Other Names: Wansing, H (Heinrich)
• 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2015
• Extent: 1 online resource
• Subjects: 160; Philosophy; Logic; Logic design; Logic, Symbolic and mathematical; PHILOSOPHY -- Logic; Logic; Logic design; Logic, Symbolic and mathematical; Philosophy; Mathematics -- Logic; Computers -- Programming -- General; Mathematical foundations; Computer programming / software development; Philosophy: logic; Electronic books
• Languages: English
• ISBNs: 9783319110417; 3319110411
• Related ISBNs: 3319110403; 9783319110400; 9783319110400
• Notes: Note: Vendor-supplied metadata.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.