The Logic of Information Structures

Name: The Logic of Information Structures
Brand: Springer, Berlin
SKU: 9783540567349
Price: 276.6 RON
Availability: InStock

Autor: Heinrich Wansing

Limbă:

Legare: Carte broșată

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

276.60 lei

This monograph gives a logical treatment of two centralaspects of the concept of information, namely...

Informații despre carte

Autor

Heinrich Wansing

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

1993

Pagini

168

EAN

9783540567349

ISBN

3540567348

Enbook ID

05274311

Editura

Springer, Berlin

Greutate

242

Dimensiuni

156 x 234 x 9

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

The Logic of Information Structures

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și