The Logic of Information Structures (Paperback, 1993 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Artificial Intelligence, 681
Release date:	July 1993
First published:	1993
Authors:	Heinrich Wansing
Dimensions:	235 x 155 x 9mm (L x W x T)
Format:	Paperback
Pages:	168
Edition:	1993 ed.
ISBN-13:	978-3-540-56734-9
Categories:	Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Applications of computing > Artificial intelligence > General
LSN:	3-540-56734-8
Barcode:	9783540567349

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!