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 Chaos in Hydrology by
Cover of the book Pharmacological Control of Calcium and Potassium Homeostasis by
Cover of the book Religion-State Encounters in Hindu Domains by
Cover of the book Marine Protected Areas by
Cover of the book Arguments, Stories and Criminal Evidence by
Cover of the book From Cause to Causation by
Cover of the book Submersible Technology: Adapting to Change by
Cover of the book PHEs, Environment and Human Health by
Cover of the book Recent Progress in Coupled Cluster Methods by
Cover of the book Models in Hardware Testing by
Cover of the book Can Death Be a Harm to the Person Who Dies? by
Cover of the book Rescuing Reason by
Cover of the book The Prevention of Oil Pollution by
Cover of the book Globalization, Education and Social Justice by
Cover of the book Nephrology and Geriatrics Integrated 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