Résumé
This book is both a concise introduction to the central
results and methods of structural proof theory and a work
of research that will be of interest to specialists. The
book is designed to be used by students of philosophy,
mathematics, and computer science." "The book contains a
wealth of new results on proof-theoretical systems,
including extensions of such systems from logic to
mathematics, and on the connection between the two main
forms of structural proof theory - natural deduction and
sequent calculus. The authors emphasize the computational
context of logical results." "A special feature of the
volume is a computerized system for developing proofs
interactively, downloadable from the web and regularly
updated.
Contents
- Preface
- Introduction
- From natural deduction to sequent calculus
- Sequent calculus for intuitionistic logic
- Sequent calculus for classical logic
- The quantifiers
- Variants of sequent calculi
- Structural proof analysis of axiomatic theories
- Intermediate logical systems
- Back to natural deduction
- Conclusion: Diversity and unity in structural proof theory
- Simple type theory and categorical grammar
- Proof theory and constructive type theory
- PESCA - A proof editor for sequent calculus
- Bibliography
- Author index
- Subject index
- Index of logical systems
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Cambridge University Press |
| Auteur(s) | Sara Negri, Jan Von Plato |
| Parution | 15/07/2001 |
| Nb. de pages | 256 |
| Format | 16 x 23,5 |
| Couverture | Relié |
| Poids | 600g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780521793070 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
