The Logic of Information Structures

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 spectr...

Full description

Bibliographic Details
Main Author: Wansing, Heinrich
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1993, 1993
Edition:1st ed. 1993
Series:Lecture Notes in Artificial Intelligence
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
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