The Logic of Information Structures
(Sprache: Englisch)
This monograph gives a logical treatment of two centralaspects of the concept of information, namely informationprocessing and information structure. The structure ofinformation is treated as a topic in model theory, whileinformation processing is...
Leider schon ausverkauft
versandkostenfrei
Buch
Fr. 112.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „The Logic of Information Structures “
Klappentext zu „The Logic of Information Structures “
This monograph gives a logical treatment of two centralaspects of the concept of information, namely informationprocessing and information structure. The structure ofinformation is treated as a topic in model theory, whileinformation processing is seen as an aspect of proof theory.A wide spectrum of substructural subsystems ofintuitionistic propositional logic and of Nelson'sconstructive logic with strong negation is investigated. Inparticular, the problems of cut-elimination, functionalcompleteness, and coding of proofs with lambda-terms arehandled. Finally, an interpretation of these systems interms of states of information and operations over thesestates is presented.
Inhaltsverzeichnis zu „The Logic of Information Structures “
Generalizations.- Intuitionistic minimal and intuitionistic information processing.- Functional completeness for substructural subsystems of IPL.- Formulas-as-types for substructural subsystems of IPL.- Constructive minimal and constructive information processing.- Functional completeness for substructural subsystems of N.- The constructive typed ?-calculus ?c and formulas-as-types for N?.- Monoid models and the informational interpretation of substructural propositional logics.
Bibliographische Angaben
- Autor: Heinrich Wansing
- 1993, 168 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Verlag: Springer
- ISBN-10: 3540567348
- ISBN-13: 9783540567349
- Erscheinungsdatum: 29.07.1993
Sprache:
Englisch
Kommentar zu "The Logic of Information Structures"
0 Gebrauchte Artikel zu „The Logic of Information Structures“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "The Logic of Information Structures".
Kommentar verfassen