|
Showing 1 - 9 of
9 matches in All Departments
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.
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.
"
This is a reproduction of a book published before 1923. This book
may have occasional imperfections such as missing or blurred pages,
poor pictures, errant marks, etc. that were either part of the
original artifact, or were introduced by the scanning process. We
believe this work is culturally important, and despite the
imperfections, have elected to bring it back into print as part of
our continuing commitment to the preservation of printed works
worldwide. We appreciate your understanding of the imperfections in
the preservation process, and hope you enjoy this valuable book.
This is an EXACT reproduction of a book published before 1923. This
IS NOT an OCR'd book with strange characters, introduced
typographical errors, and jumbled words. This book may have
occasional imperfections such as missing or blurred pages, poor
pictures, errant marks, etc. that were either part of the original
artifact, or were introduced by the scanning process. We believe
this work is culturally important, and despite the imperfections,
have elected to bring it back into print as part of our continuing
commitment to the preservation of printed works worldwide. We
appreciate your understanding of the imperfections in the
preservation process, and hope you enjoy this valuable book.
This is a reproduction of a book published before 1923. This book
may have occasional imperfections such as missing or blurred pages,
poor pictures, errant marks, etc. that were either part of the
original artifact, or were introduced by the scanning process. We
believe this work is culturally important, and despite the
imperfections, have elected to bring it back into print as part of
our continuing commitment to the preservation of printed works
worldwide. We appreciate your understanding of the imperfections in
the preservation process, and hope you enjoy this valuable book.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|