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) Checked out 31/08/2019 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)