- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
The Logic of Information Structures
Heinrich Wansing
Livre broché | Anglais | Lecture Notes in Computer Science | Lecture Notes in Artificial Intelligence | n° 681
52,95 €
+ 105 points
Description
This monograph gives a logical treatment of two central aspects of the concept of information, namely information processing and information structure. The structure of information is treated as a topic in model theory, while information processing is seen as an aspect of proof theory. A wide spectrum of substructural subsystems of intuitionistic propositional logic and of Nelson's constructive logic with strong negation is investigated. In particular, the problems of cut-elimination, functional completeness, and coding of proofs with lambda-terms are handled. Finally, an interpretation of these systems in terms of states of information and operations over these states is presented.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 168
- Langue:
- Anglais
- Collection :
- Tome:
- n° 681
Caractéristiques
- EAN:
- 9783540567349
- Date de parution :
- 29-07-93
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 156 mm x 234 mm
- Poids :
- 258 g
