The Logic of Information Structures

The Logic of Information Structures

By (author) 

Free delivery worldwide

Available. Dispatched from the UK in 3 business days


When will my order arrive?

Available. Expected delivery to the United States in 8-11 business days.


Not ordering to the United States? Click here.
Expected to be delivered to the United States by Christmas Expected to be delivered to the United States by Christmas

Description

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.
show more

Product details

  • Paperback | 168 pages
  • 155 x 235 x 9.65mm | 580g
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Berlin, Germany
  • English
  • 1993 ed.
  • CLXXX, 168 p.
  • 3540567348
  • 9783540567349

Table of contents

Generalizations.- Intuitionistic minimal and intuitionistic information processing.- Functional completeness for substructural subsystems of IPL.- Formulas-as-types for substructural subsystems of IPL.- Constructive minimal and constructive information processing.- Functional completeness for substructural subsystems of N.- The constructive typed ?-calculus ?c and formulas-as-types for N?.- Monoid models and the informational interpretation of substructural propositional logics.
show more