• Sign In
  • Help
  • My Basket0
The Logic of Information Structures - Lecture Notes in Computer Science 681 (Paperback)
  • The Logic of Information Structures - Lecture Notes in Computer Science 681 (Paperback)
zoom

The Logic of Information Structures - Lecture Notes in Computer Science 681 (Paperback)

(author)
£62.99
Paperback 168 Pages / Published: 29/07/1993
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket

Check Marketplace availability

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.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540567349
Number of pages: 168
Weight: 580 g
Dimensions: 235 x 155 x 9 mm
Edition: 1993 ed.

You may also be interested in...

Concise Guide to Databases
Added to basket
Algorithms
Added to basket
£66.99
Hardback
Understanding Cryptography
Added to basket
Purely Functional Data Structures
Added to basket
Data Structures and Algorithms with Python
Added to basket
Engineering Mathematics
Added to basket
Algorithmic Problem Solving
Added to basket
Algorithms Unlocked
Added to basket
Generative Art
Added to basket
£25.99
Paperback
Introduction to Algorithms
Added to basket
Machine Learning
Added to basket
£44.99
Paperback
Introduction to Algorithms
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.