The logic of information structures

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 spectr...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Wansing, Heinrich, 1963-
Format: Livre numérique
Langue:Anglais
Publié: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Collection:Lecture notes in computer science. Lecture notes in artificial intelligence 681
Sujets:
Accès en ligne:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• The logic of information structures, Heinrich T. Wansing, Berlin, Springer-Verlag, 1993, 1 vol. (IX-163 p.), Lecture notes in computer science, 0-387-56734-8
• The Logic of Information Structures, Texte imprimé, 9783662213469

En ligne

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL