The Logic of Information Structures by Heinrich WansingThe Logic of Information Structures by Heinrich Wansing

The Logic of Information Structures

byHeinrich Wansing

Paperback | July 29, 1993

Pricing and Purchase Info

$110.99 online 
$128.95 list price save 13%
Earn 555 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


This monograph gives a logical treatment of two centralaspects of the concept of information, namely informationprocessing and information structure. The structure ofinformation is treated as a topic in model theory, whileinformation processing is seen as an aspect of proof theory.A wide spectrum of substructural subsystems ofintuitionistic propositional logic and of Nelson'sconstructive logic with strong negation is investigated. Inparticular, the problems of cut-elimination, functionalcompleteness, and coding of proofs with lambda-terms arehandled. Finally, an interpretation of these systems interms of states of information and operations over thesestates is presented.
Title:The Logic of Information StructuresFormat:PaperbackDimensions:348 pages, 9.25 × 6.1 × 0 inPublished:July 29, 1993Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540567348

ISBN - 13:9783540567349

Look for similar items by category: