Band 681
The Logic of Information Structures
Aus der Reihe
Lecture Notes in Computer Science
-
- Englisch ausgewählt
Fr. 72.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
29.07.1993
Abbildungen
CLXXX, 168 p.
Verlag
Springer BerlinSeitenzahl
168
Maße (L/B/H)
23.5/15.5/1.1 cm
Gewicht
283 g
Auflage
1993
Sprache
Englisch
ISBN
978-3-540-56734-9
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.
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.