Lecture Notes in Artificial Intelligence
cover

The Logic of Information Structures

Authors: Wansing, Heinrich

Buy this book

eBook 59,49 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47642-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-56734-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • Introduction

    Pages 1-12

  • Generalizations

    Pages 13-29

  • Intuitionistic minimal and intuitionistic information processing

    Pages 31-44

  • Functional completeness for substructural subsystems of IPL

    Pages 45-58

  • Formulas-as-types for substructural subsystems of IPL

    Pages 59-80

Buy this book

eBook 59,49 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47642-9
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
  • ISBN 978-3-540-56734-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Logic of Information Structures
Authors
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
681
Copyright
1993
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47642-9
DOI
10.1007/3-540-56734-8
Softcover ISBN
978-3-540-56734-9
Edition Number
1
Number of Pages
CLXXX, 168
Topics