Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

The Logic of Information Structures

Heinrich Wansing

0/5 ( ratings)

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.

Language: English

Pages: 168

Format: Paperback

Publisher: Springer

Release: July 29, 1993

ISBN: 3540567348

ISBN 13: 9783540567349

The Logic of Information Structures

Heinrich Wansing

0/5 ( ratings)

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.

Language: English

Pages: 168

Format: Paperback

Publisher: Springer

Release: July 29, 1993

ISBN: 3540567348

ISBN 13: 9783540567349

More books from Heinrich Wansing

Proof Theory of Modal Logic

Ifcolog Journal of Logics and Their Applications. Volume 3, Number 3: Connexive Logics

Dag Prawitz on Proofs and Meaning (Outstanding Contributions to Logic)

Dag Prawitz on Proofs and Meaning

Negation: A Notion in Focus

Recent Trends in Philosophical Logic

Essays on Non-Classical Logic Volume 1

Recent Trends in Philosophical Logic

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (Lecture Notes in Computer Science Book 5293)

Truth and Falsehood: An Inquiry Into Generalized Logical Values

Advances in Modal Logic, Volume 1

Truth and Falsehood: An Inquiry into Generalized Logical Values (Trends in Logic)

Rate this book!

Write a review?