The Logic of Information Structures: 681 (Lecture Notes in Computer Science) - Softcover

Wansing, Heinrich

 
9783540567349: The Logic of Information Structures: 681 (Lecture Notes in Computer Science)
Softcover
ISBN 10: 3540567348 ISBN 13: 9783540567349
Verlag: Springer, 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540567348
ISBN 13 
9783540567349
Einband
Tapa blanda
Anzahl der Seiten
180
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387567341: The Logic of Information Structures (Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence, 681)

Vorgestellte Ausgabe

ISBN 10:  0387567348 ISBN 13:  9780387567341
Verlag: Springer Verlag, 1993
Softcover