
Trends in Logic Advances in Natural Deduction: A Celebration of DAG Prawitz's Work, Book 39, (Hardcover)
Key item features
- Trends in Logic Advances in Natural Deduction: A Celebration of DAG Prawitz's Work, Book 39, (Hardcover)
- Author: Springer
- ISBN: 9789400775473
- Format: Hardcover
- Publication Date: 2014-03-17
- Page Count: 279
Specs
- Book formatHardcover
- Fiction/nonfictionNon-Fiction
- Pub date2014-03-17
- Pages279
- SubgenreLogic
- Series titleTrends in Logic
- Free shipping
Free 90-day returns
How do you want your item?
More seller options (3)
Get free delivery, shipping and more*
About this item
Product details
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.
- Trends in Logic Advances in Natural Deduction: A Celebration of DAG Prawitz's Work, Book 39, (Hardcover)
- Author: Springer
- ISBN: 9789400775473
- Format: Hardcover
- Publication Date: 2014-03-17
- Page Count: 279
Specifications
Book format
Fiction/nonfiction
Genre
Pub date
Warranty
Warranty information
Similar items you might like
Based on what customers bought
Routledge Advances in Sociology Socio-Cultural Mobility and Mega-Events: Ethics and Aesthetics in Brazil's 2014 World Cup, (Hardcover) $123.78
$12378current price $123.78Routledge Advances in Sociology Socio-Cultural Mobility and Mega-Events: Ethics and Aesthetics in Brazil's 2014 World Cup, (Hardcover)
Contributions to Phenomenology Meaning Takes Time to Unfold: Towards a Heideggerian Ontology of Temporal Differentiation, Book 138, (Hardcover) $104.75
$10475current price $104.75Contributions to Phenomenology Meaning Takes Time to Unfold: Towards a Heideggerian Ontology of Temporal Differentiation, Book 138, (Hardcover)
Return from the World : Economic Growth and Reverse Migration in Brazil (Edition 1) (Hardcover) $102.70
$10270current price $102.70Return from the World : Economic Growth and Reverse Migration in Brazil (Edition 1) (Hardcover)
Advances in Appreciative Inquiry Positive Design and Appreciative Construction, Book 3, (Hardcover) $184.65
$18465current price $184.65Advances in Appreciative Inquiry Positive Design and Appreciative Construction, Book 3, (Hardcover)
Perspectives on Strategy: Contributions of Michael E. Porter, (Hardcover) $107.81
$10781current price $107.81Perspectives on Strategy: Contributions of Michael E. Porter, (Hardcover)
Contributions in Labor Studies Proletarians and Protest: The Roots of Class Formation in an Industrializing World, (Hardcover) $111.85
$11185current price $111.85Contributions in Labor Studies Proletarians and Protest: The Roots of Class Formation in an Industrializing World, (Hardcover)
Ancient Commentators on Aristotle Hermias: On Plato Phaedrus 257c-279c, with 'Syrianus': Introduction to Hermogenes on Styles, (Hardcover) $115.00
$11500current price $115.00Ancient Commentators on Aristotle Hermias: On Plato Phaedrus 257c-279c, with 'Syrianus': Introduction to Hermogenes on Styles, (Hardcover)
Contributions to the Sociology of Langua Progress in Language Planning, Book 31, (Hardcover) $107.95
$10795current price $107.95Contributions to the Sociology of Langua Progress in Language Planning, Book 31, (Hardcover)
Contributions in Economics and Economic New Roads to Development, (Hardcover) $111.85
$11185current price $111.85Contributions in Economics and Economic New Roads to Development, (Hardcover)
Contributions to the Study of World The Logic and Method of Macrosociology: An Input-Output Approach to Organizational Networks, (Hardcover) $94.08
$9408current price $94.08Contributions to the Study of World The Logic and Method of Macrosociology: An Input-Output Approach to Organizational Networks, (Hardcover)
Next-Generation Mobile and Pervasive Healthcare Solutions (Hardcover) $117.58
$11758current price $117.58Next-Generation Mobile and Pervasive Healthcare Solutions (Hardcover)
Science Networks. Historical Studies Ruggiero Boscovich's Theory of Natural Philosophy: Points, Distances, Determinations, Book 60, (Hardcover) $111.81
$11181current price $111.81Science Networks. Historical Studies Ruggiero Boscovich's Theory of Natural Philosophy: Points, Distances, Determinations, Book 60, (Hardcover)
Ergebnisse Der Mathematik Und Ihrer Gren Automorphic Forms and Even Unimodular Lattices: Kneser Neighbors of Niemeier Lattices, Book 69, (Hardcover) $102.19
$10219current price $102.19Ergebnisse Der Mathematik Und Ihrer Gren Automorphic Forms and Even Unimodular Lattices: Kneser Neighbors of Niemeier Lattices, Book 69, (Hardcover)
Progress in Is Advances and New Trends in Environmental and Energy Informatics: Selected and Extended Contributions from the 28th Inter, (Hardcover) $91.97
$9197current price $91.97Progress in Is Advances and New Trends in Environmental and Energy Informatics: Selected and Extended Contributions from the 28th Inter, (Hardcover)
International Contributions in Psycholog Self-Representation: Life Narrative Studies in Identity and Ideology, (Hardcover) $111.85
$11185current price $111.85International Contributions in Psycholog Self-Representation: Life Narrative Studies in Identity and Ideology, (Hardcover)
Trends in Logic Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics, Book 14, (Hardcover) $107.81
$10781current price $107.81Trends in Logic Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics, Book 14, (Hardcover)
Contributions to Phenomenology The Sphere of Attention: Context and Margin, Book 54, (Hardcover) $92.55 Was $159.99
$9255current price $92.55, Was $159.99$159.99Contributions to Phenomenology The Sphere of Attention: Context and Margin, Book 54, (Hardcover)
Economic Reforms in New Democracies, (Hardcover) $93.92
$9392current price $93.92Economic Reforms in New Democracies, (Hardcover)
Maecenata Schriften Al Waqf: Philanthropy, Endowments and Sustainable Social Development in Egypt, Book 21, (Hardcover) $119.60
$11960current price $119.60Maecenata Schriften Al Waqf: Philanthropy, Endowments and Sustainable Social Development in Egypt, Book 21, (Hardcover)
Language, Borders and Bordering Practices / Lenguaje, Fronteras Y Prácticas de Fronterización: Sociolinguistic Perspecti, (Hardcover) $144.42
$14442current price $144.42Language, Borders and Bordering Practices / Lenguaje, Fronteras Y Prácticas de Fronterización: Sociolinguistic Perspecti, (Hardcover)
