Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (Softcover Reprint of the Original 1st 2014)Paperback - Softcover Reprint of the Original 1st 2014, 3 September 2016

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work (Softcover Reprint of the Original 1st 2014)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Trends in Logic
Print Length
279 pages
Language
English
Publisher
Springer
Date Published
3 Sep 2016
ISBN-10
9402406875
ISBN-13
9789402406870

Description

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.

Product Details

Book Edition:
Softcover Reprint of the Original 1st 2014
Book Format:
Paperback
Country of Origin:
NL
Date Published:
3 September 2016
Dimensions:
23.39 x 15.6 x 1.57 cm
ISBN-10:
9402406875
ISBN-13:
9789402406870
Language:
English
Location:
Dordrecht
Pages:
279
Publisher:
Springer
Weight:
417.3 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.