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 Digital Fabrication in Architecture, Engineering and Construction by
Cover of the book The Letters of Lupus of Ferrières by
Cover of the book Aging: Culture, Health, and Social Change by
Cover of the book Sediment Fluxes in Coastal Areas by
Cover of the book The Likelihood of Knowledge by
Cover of the book Sustainable use of Genetic Diversity in Forage and Turf Breeding by
Cover of the book Handbook of the Social Psychology of Inequality by
Cover of the book Eurasian Arctic Land Cover and Land Use in a Changing Climate by
Cover of the book Fisheries Acoustics by
Cover of the book Organism and the Origins of Self by
Cover of the book Trilingualism in Education in China: Models and Challenges by
Cover of the book Aujeszky’s Disease by
Cover of the book Mites: Ecology, Evolution & Behaviour by
Cover of the book Schutz’s Theory of Relevance: A Phenomenological Critique by
Cover of the book Dominant Exudative Vitreoretinopathy and other Vascular Developmental Disorders of the Peripheral Retina 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