Item description for The Logic of Information Structures (Lecture Notes in Computer Science) by Heinrich Wansing...
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.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.21" Width: 6.14" Height: 0.38" Weight: 0.57 lbs.
Release Date Sep 10, 1993
ISBN 3540567348 ISBN13 9783540567349
Availability 137 units. Availability accurate as of Jan 23, 2017 08:42.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
More About Heinrich Wansing
Heinrich Wansing has an academic affiliation as follows - Universitat Leipzig.