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 Different Kinds of Specificity Across Languages by
Cover of the book Hydrology of Disasters by
Cover of the book Business Associations and the Financing of Political Parties by
Cover of the book Alpine Ecosystems in the Northwest Caucasus by
Cover of the book Fertility and Sterility by
Cover of the book Natural and Man-Made Hazards by
Cover of the book Environmental Soil Biology by
Cover of the book Forecasting International Migration in Europe: A Bayesian View by
Cover of the book Post-War International Civil Aviation Policy and the Law of the Air by
Cover of the book Finalization in Science by
Cover of the book Dialogues in Phenomenology by
Cover of the book Tumors of the Central Nervous System, Volume 5 by
Cover of the book Handbook of Social Psychology by
Cover of the book Physics and Metaphysics of Music and Essays on the Philosophy of Mathematics by
Cover of the book Biopreparedness and Public Health 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