About this book


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.


Functional Completeness Funktionale Vollständigkeit Information Processing Information Structures Informationsstrukturen Informationsverarbeitung Intuitionism Intuitionismus Substructural Logics Unterstruktur-Lo model theory proof proof theory

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-56734-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56734-9
  • Online ISBN 978-3-540-47642-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book