The Logic of Information Structures

verfasst von: Heinrich Wansing

Verlag: Springer Berlin Heidelberg

Buchreihe : Lecture Notes in Computer Science

Enthalten in: Professional Book Archive

Einloggen, um Zugang zu erhalten

Über dieses Buch

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.

Inhaltsverzeichnis

Backmatter

Titel: The Logic of Information Structures
verfasst von: Heinrich Wansing
Verlag: Springer Berlin Heidelberg
Electronic ISBN: 978-3-540-47642-9
Print ISBN: 978-3-540-56734-9
DOI: https://doi.org/10.1007/3-540-56734-8

Springer Professional

The Logic of Information Structures

Über dieses Buch

Inhaltsverzeichnis

Frontmatter

1. Introduction

2. Generalizations

3. Intuitionistic minimal and intuitionistic information processing

4. Functional completeness for substructural subsystems of IPL

5. Formulas-as-types for substructural subsystems of IPL

6. Constructive minimal and constructive information processing

7. Functional completeness for substructural subsystems of N

8. The constructive typed λ-calculus λc and formulas-as-types for N−

9. Monoid models and the informational interpretation of substructural propositional logics

Backmatter