Résumé: 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.

Edition: Heidelberg,New York: Springer-Verlag Springer-Verlag
Langue: Anglais
Collation: 1 vol. (IX-163 p.) ;24 cm
ISBN: 3540567348
Index décimal 006.3 .Intelligence artificielle (ouvrages généraux sur l'intelligence artificielle et la science cognitive, reconnaissance de formes comme outil de l'intelligence artificielle, systèmes de questions et réponses)
Thème Informatique

Mots clés:
Logique mathématique
Théorie des modèles
Théorie de la démonstration
Intelligence artificielle