0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Advances in Natural Deduction - A Celebration of Dag Prawitz's Work (Hardcover, 2014 ed.) Loot Price: R4,014
Discovery Miles 40 140
Advances in Natural Deduction - A Celebration of Dag Prawitz's Work (Hardcover, 2014 ed.): Luiz Carlos Pereira, edward...

Advances in Natural Deduction - A Celebration of Dag Prawitz's Work (Hardcover, 2014 ed.)

Luiz Carlos Pereira, edward haeusler, Valeria de Paiva

Series: Trends in Logic, 39

 (sign in to rate)
Loot Price R4,014 Discovery Miles 40 140 | Repayment Terms: R376 pm x 12*

Bookmark and Share

Expected to ship within 12 - 17 working days

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.
"

General

Imprint: Springer
Country of origin: Netherlands
Series: Trends in Logic, 39
Release date: March 2014
First published: 2014
Editors: Luiz Carlos Pereira • edward haeusler • Valeria de Paiva
Dimensions: 235 x 155 x 22mm (L x W x T)
Format: Hardcover
Pages: 279
Edition: 2014 ed.
ISBN-13: 978-9400775473
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Humanities > Philosophy > Topics in philosophy > Logic
Books > Science & Mathematics > Mathematics > Mathematical foundations > General
Books > Philosophy > Topics in philosophy > Logic
LSN: 9400775474
Barcode: 9789400775473

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Elements of Geometry Upon the Inductive…
James Hayward Paperback R422 Discovery Miles 4 220
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R535 Discovery Miles 5 350
Foundation Maths
Anthony Croft, Robert Davison Paperback R1,652 Discovery Miles 16 520
Primary Maths for Scotland Textbook 2A…
Craig Lowther, Antoinette Irwin, … Paperback R373 R277 Discovery Miles 2 770
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R284 Discovery Miles 2 840
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R389 Discovery Miles 3 890
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R78 Discovery Miles 780
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R484 Discovery Miles 4 840
Mathematical Proofs: A Transition to…
Gary Chartrand, Albert Polimeni, … Paperback R2,185 Discovery Miles 21 850
A Practice Book In Arithmetic For The…
Harriet E Sharpe Hardcover R757 Discovery Miles 7 570
Arithmetic Simplified
Catharine E. Beecher Hardcover R858 Discovery Miles 8 580
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R7,022 Discovery Miles 70 220

See more

Partners