Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book Advances in Natural Deduction by , Springer Netherlands
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9789400775480
Publisher: Springer Netherlands Publication: July 8, 2014
Imprint: Springer Language: English
Author:
ISBN: 9789400775480
Publisher: Springer Netherlands
Publication: July 8, 2014
Imprint: Springer
Language: English

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 proof-theoretic semantics in Logic, Linguistics and  Theoretical Computer Science.

The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed to higher-order 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 Curry-Howard isomorphism (itself a by-product 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.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

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 proof-theoretic semantics in Logic, Linguistics and  Theoretical Computer Science.

The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed to higher-order 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 Curry-Howard isomorphism (itself a by-product 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.

More books from Springer Netherlands

Cover of the book Moritz Schlick by
Cover of the book Progress, Apocalypse, and Completion of History and Life after Death of the Human Person in the World Religions by
Cover of the book Plant Virus and Viroid Diseases in the Tropics by
Cover of the book Colour Atlas of First Pass Functional Imaging of the Heart by
Cover of the book Doing Philosophy of Technology by
Cover of the book The Event of Death: a Phenomenological Enquiry by
Cover of the book Lipid-Lowering Therapy and Progression of Coronary Atherosclerosis by
Cover of the book Hydrological Dimensioning and Operation of Reservoirs by
Cover of the book Landscapes and Landforms of Brazil by
Cover of the book Voluntary Termination of Pregnancy by
Cover of the book Philosophy Bridging the World Religions by
Cover of the book Geomorphological impacts of extreme weather by
Cover of the book Cotton, Water, Salts and Soums by
Cover of the book Unbounded Self-adjoint Operators on Hilbert Space by
Cover of the book Immunology and Liver by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy