Advances in Natural Deduction : A Celebration of Dag Prawitz's Work

indgår i serie Trends in Logic


Advances in Natural Deduction : A Celebration of Dag Prawitz's Work
Format:
Bog, hardback
Udgivelsesdato:
01-03-2014
Sprog:
Engelsk
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

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.



Vis mereVis mindre

ISBN13:
9789400775473
Vægt:
594 g
Dybde:
18 mm
Bredde:
156 mm
Højde:
234 mm
Forlag:
Springer
Format:
Hardback
  • Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Advances in Natural Deduction : A Celebration of Dag Prawitz's Work

    indgår i serie Trends in Logic

    • Leveringstid 4-6 hverdage
    • Forventet levering 27-08-2019

    på lager

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo

    Du har nu adgang til din konto hos Saxo, og kan se alle oplysninger om dit medlemskab, dine
    ordrer og din digitale boghylde under "Mit Saxo".

    Som tak for, at du har aktiveret dit medlemskab, har vi valgt at give dig fri læsning hele
    sommeren. Dvs. at du frit kan tilgå de mere en 50.000 bøger i Saxos app, samt købe bøger til
    vores altid lave medlemspris og fri fragt her på Saxo.com hele juli. Din næste medlemsbetaling
    vil først falde i august.

    Vi glæder os meget til at byde dig velkommen i vores univers, og håber at du kommer godt i
    gang med Saxo Premium.

    God sommer og god læselyst!

    Med venlig hilsen Saxo

    Kom i gang nu!