Normal view MARC view ISBD view

Dag Prawitz on proofs and meaning / Heinrich Wansing, editor.

Contributor(s): Wansing, H. (Heinrich).
Material type: materialTypeLabelBookCall no.: BC71 .D34 2015Series: Outstanding contributions to logic: volume 7.Publication: Cham : Springer, c2015Description: xiii, 458 p. ; 24 cm.ISBN: 9783319110400; 3319110403.Subject(s): Prawitz, Dag | Logic | Logic design | Logic, Symbolic and mathematical | Philosophy
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.
List(s) this item appears in: New Books 2017-04 (Foreign)
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
Book Book Pridi Banomyong Library
General Stacks
General Books BC71.D34 2015 (See Similar Items) Show map Checked out 31/08/2020 31379015399695
Total holds: 0

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.

There are no comments for this item.

Click on an image to view it in the image viewer

Open Library:

Thammasat University Library
2 Prachan Road, Phranakorn, Bangkok 10200
Tel: 662 613-3544 (Pridi Banomyong Library, Circulation Desk)
Tel: 662 564-4444 ext. 1305 (Puey Ungphakorn Library (Rangsit Campus), Circulation Desk)