The Logic of Information Structures - Lecture Notes in Artificial Intelligence 681 (Paperback)
  • The Logic of Information Structures - Lecture Notes in Artificial Intelligence 681 (Paperback)
zoom

The Logic of Information Structures - Lecture Notes in Artificial Intelligence 681 (Paperback)

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

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.49
Hardback
The End of Error
Added to basket
Machine Learning
Added to basket
£39.99
Paperback
Understanding Cryptography
Added to basket
Generative Art
Added to basket
£25.99
Paperback
Gynaecology: Evidence-Based Algorithms
Added to basket
Algorithms Unlocked
Added to basket
Understanding Cryptography
Added to basket
Purely Functional Data Structures
Added to basket
Introduction to Algorithms
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.