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 The Red Sea Ecosystem and Fisheries by
Cover of the book Disaster Bioethics: Normative Issues When Nothing is Normal by
Cover of the book Studies of Pluripotency in Embryonic Stem Cells and Induced Pluripotent Stem Cells by
Cover of the book Urea Transporters by
Cover of the book Explaining Photosynthesis by
Cover of the book Issues in the Impacts of Climate Variability and Change on Agriculture by
Cover of the book Discovering Reality by
Cover of the book What Every Woman Should Know about Cervical Cancer by
Cover of the book The Berlin Group and the Philosophy of Logical Empiricism by
Cover of the book Revolution and Reflection by
Cover of the book Children and the Good Life by
Cover of the book The Low Countries History Yearbook 1980 by
Cover of the book LAWS, LANGUAGE and LIFE by
Cover of the book Mathematical Knowledge in Teaching by
Cover of the book Regulating Chemical Risks 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