47,95 €*
Versandkostenfrei per Post / DHL
Lieferzeit 2-4 Werktage
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.
| Erscheinungsjahr: | 1993 |
|---|---|
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
clxxx
168 S. |
| ISBN-13: | 9783540567349 |
| ISBN-10: | 3540567348 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Wansing, Heinrich |
| Hersteller: |
Springer Berlin
Springer Berlin Heidelberg |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 235 x 155 x 11 mm |
| Von/Mit: | Heinrich Wansing |
| Erscheinungsdatum: | 29.07.1993 |
| Gewicht: | 0,283 kg |
| Erscheinungsjahr: | 1993 |
|---|---|
| Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
| Rubrik: | Naturwissenschaften & Technik |
| Medium: | Taschenbuch |
| Inhalt: |
clxxx
168 S. |
| ISBN-13: | 9783540567349 |
| ISBN-10: | 3540567348 |
| Sprache: | Englisch |
| Einband: | Kartoniert / Broschiert |
| Autor: | Wansing, Heinrich |
| Hersteller: |
Springer Berlin
Springer Berlin Heidelberg |
| Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
| Maße: | 235 x 155 x 11 mm |
| Von/Mit: | Heinrich Wansing |
| Erscheinungsdatum: | 29.07.1993 |
| Gewicht: | 0,283 kg |
Ähnliche Produkte
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Werktage
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Lieferzeit 1-2 Wochen
Aktuell nicht verfügbar
Lieferzeit 1-2 Wochen
