The Logic of Information Structures
Wansing, Heinrich
| Autor: | Wansing, Heinrich |
|---|---|
| Themengebiete: | Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI |
| Veröffentlichungsdatum: | 29.07.1993 |
| EAN: | 9783540567349 |
| Auflage: | 1993 |
| Sprache: | Englisch |
| Seitenzahl: | 180 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Berlin Springer Berlin Heidelberg |
Produktinformationen "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 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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen