Skip to main content
SpringerLink
Log in
Book cover

The Logic of Information Structures

  • Book
  • © 1993

Overview

Authors:
  1. Heinrich Wansing
    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 681)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    Pages 1-12

  3. Generalizations

    Pages 13-29

  4. Intuitionistic minimal and intuitionistic information processing

    Pages 31-44

  5. Functional completeness for substructural subsystems of IPL

    Pages 45-58

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

    Pages 59-80

  7. Constructive minimal and constructive information processing

    Pages 81-91

  8. Functional completeness for substructural subsystems of N

    Pages 93-106

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

    Pages 107-121

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

    Pages 123-147

  11. Back Matter

    Download chapter PDF
Back to top

Keywords

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.

Bibliographic Information

  • Book Title: The Logic of Information Structures

  • Authors: Heinrich Wansing

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-56734-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1993

  • Softcover ISBN: 978-3-540-56734-9Published: 29 July 1993

  • eBook ISBN: 978-3-540-47642-9Published: 05 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: CLXXX, 168

  • Topics: Artificial Intelligence, Mathematical Logic and Foundations

Publish with us

Policies and ethics

Back to top

Search

Navigation