Normal view MARC view ISBD view

Advances in natural deduction : a celebration of Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors.

Contributor(s): Pereira, Luiz Carlos | Haeusler, Edward Hermann | De Paiva, Valeria | Prawitz, Dag.
Material type: materialTypeLabelBookCall no.: BC108 .A38 2014Series: Trends in logic: v. 39.Publication: Dordrecht : Springer, ©2014Description: xvi, 279 p. ; 25 cm.ISBN: 9789400775473 (hbk.); 9400775474 (hbk.).Subject(s): Logic
Contents:
Chapter 1. Generalizaed elimination inferences; Schroeder-Heister, Peter -- Chapter 2. Revisiting Zucker's work on the Correspondence between Cut-Elimination and Normalisation; Urban, Christian -- Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic; Joinet, Jean-Baptiste -- Chapter 4. Natural Deduction for Equality: The Missing Entity; de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G -- Chapter 5. Proof-theoretical Conception of Logic; Legris, Javier -- Chapter 6. On the Structure of Natural deduction Derivations for "Generally"; Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sheila R.M -- Chapter 7. Type Theories from Barendregt's Cube for Theorem Provers; Seldin, Jonathan P -- Chapter 8. What is propositional logic, a theory of, if anything?; Chateaubriand, Oswaldo -- Chapter 9. Categorical Semantics of Linear Logic for All; de Paiva, Valeria -- Chapter 10. Rough sets and proof-theory; Bellin, Gianluigi -- Chapter 11. Decomposition of Reduction; Zimmermann, Ernst -- Chapter 12. An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited; Prawitz, Dag.
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 BC108.A38 2014 (Browse shelf) Available 31379015399703
Total holds: 0

Includes bibliographical references.

Chapter 1. Generalizaed elimination inferences; Schroeder-Heister, Peter -- Chapter 2. Revisiting Zucker's work on the Correspondence between Cut-Elimination and Normalisation; Urban, Christian -- Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic; Joinet, Jean-Baptiste -- Chapter 4. Natural Deduction for Equality: The Missing Entity; de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G -- Chapter 5. Proof-theoretical Conception of Logic; Legris, Javier -- Chapter 6. On the Structure of Natural deduction Derivations for "Generally"; Vana, Leonardo B., Veloso, Paulo A.S. , and Veloso, Sheila R.M -- Chapter 7. Type Theories from Barendregt's Cube for Theorem Provers; Seldin, Jonathan P -- Chapter 8. What is propositional logic, a theory of, if anything?; Chateaubriand, Oswaldo -- Chapter 9. Categorical Semantics of Linear Logic for All; de Paiva, Valeria -- Chapter 10. Rough sets and proof-theory; Bellin, Gianluigi -- Chapter 11. Decomposition of Reduction; Zimmermann, Ernst -- Chapter 12. An approach to general proof theory and a conjecture of a kind of completeness of intuitionistic logic revisited; Prawitz, Dag.

There are no comments for this item.

Log in to your account to post a comment.

Thammasat University Libraries
2 Prachan Road, Phranakorn, Bangkok 10200
Tel. 0-2986-9612 ext. 1305