Description 
1 online resource 
Series 
Trends in logic ; volume 39 

Trends in logic ; v. 39

Contents 
Chapter 1. Generalizaed elimination inferences; SchroederHeister, Peter  Chapter 2. Revisiting Zucker's work on the Correspondence between CutElimination and Normalisation; Urban, Christian  Chapter 3. Proofs, Reasoning and the Metamorphosis of Logic; Joinet, JeanBaptiste  Chapter 4. Natural Deduction for Equality: The Missing Entity; de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G  Chapter 5. Prooftheoretical 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 prooftheory; 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 
Summary 
This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz's work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of prooftheoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higherorder rules, as opposed to higherorder connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the CurryHoward isomorphism (itself a byproduct of the work on natural deduction), via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction 
Bibliography 
Includes bibliographical references 
Notes 
Print version record 
Subject 
Logic.


Logic.

Genre/Form 
Festschriften.

Form 
Electronic book

Author 
Pereira, Luiz Carlos, editor


Haeusler, Edward Hermann, editor


De Paiva, Valeria, editor


Prawitz, Dag, honoree

ISBN 
9400775482 (electronic bk.) 

9789400775480 (electronic bk.) 
