Heinrich Wansing

(Author)

The Logic of Information Structures (1993)Paperback - 1993, 29 July 1993

The Logic of Information Structures (1993)
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Lecture Notes in Computer Science
Part of Series
Lecture Notes in Artificial Intelligence
Part of Series
Lecture Notes in Computer Science / Lecture Notes in Artific
Print Length
168 pages
Language
English
Publisher
Springer
Date Published
29 Jul 1993
ISBN-10
3540567348
ISBN-13
9783540567349

Description

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.

Product Details

Author:
Heinrich Wansing
Book Edition:
1993
Book Format:
Paperback
Country of Origin:
US
Date Published:
29 July 1993
Dimensions:
23.39 x 15.6 x 0.97 cm
ISBN-10:
3540567348
ISBN-13:
9783540567349
Language:
English
Location:
Berlin, Heidelberg
Pages:
168
Publisher:
Weight:
258.55 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.