
Games, Logic and Constructive Sets
Grigori Mints, Reinhard Muskens
Résumé
Mathematical game theory has been embraced by a variety of scholars: social scientists, biologists, linguists, and now, increasingly, logicians. This volume illustrates the recent advances of game theory in the field. Logicians benefit from things like game theory's ability to explain informational independence between connectives; meanwhile, game theorists have even begun to benefit from logical epistemic analyses of game states. In concert with such pioneering work, this volume also present surprising developments in classical fields, including first-order logic and set theory.
Subjects:
Philosophy: Logic and Philosophy of Language
Contents
- Logic and Games
- Logic and game theory: close encounters of the third kind
- Informationnaly independent connectives
- Descriptions of game states
- Classical logic
- Resource consciousness in classical logic
- Quick cut-elimination for monotone cuts
- Constructive set theory
- The anti-foundation axiom in constructive set theories
- On non-wellfounded constructive set theory: construction of non-wellfounded sets in explicit mathematics
L'auteur - Grigori Mints
Editor
L'auteur - Reinhard Muskens
Editor
Caractéristiques techniques
PAPIER | |
Éditeur(s) | CSLI |
Auteur(s) | Grigori Mints, Reinhard Muskens |
Parution | 20/11/2003 |
Nb. de pages | 128 |
Format | 15 x 23 |
Couverture | Broché |
Poids | 210g |
Intérieur | Noir et Blanc |
EAN13 | 9781575864501 |
ISBN13 | 978-1-57586-450-1 |
Avantages Eyrolles.com
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