The Logic of Information Structures

Heinrich Wansing (Autor)

Buch | Softcover

CLXXX, 168 Seiten

1993 | 1993
Springer Berlin (Verlag)
978-3-540-56734-9 (ISBN)

Artikel merken

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.

Generalizations.- Intuitionistic minimal and intuitionistic information processing.- Functional completeness for substructural subsystems of IPL.- Formulas-as-types for substructural subsystems of IPL.- Constructive minimal and constructive information processing.- Functional completeness for substructural subsystems of N.- The constructive typed ?-calculus ?c and formulas-as-types for N?.- Monoid models and the informational interpretation of substructural propositional logics.

Erscheint lt. Verlag	29.7.1993
Reihe/Serie	Lecture Notes in Artificial Intelligence
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	CLXXX, 168 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	243 g
Themenwelt	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
Schlagworte	Datenverarbeitung • Functional Completeness • Funktionale Vollständigkeit • Hardcover, Softcover / Informatik, EDV/Informatik • HC/Informatik, EDV/Informatik • Information Processing • Informationsprozess • Informationsstruktur • Informationsstrukturen • Information Structures • Informationsverarbeitung • Intuitionism • Intuitionismus • Mathematische Logik • model Theory • Proof • Proof theory • Substructural logics • Unterstruktur-Lo • Unterstruktur-Logiken
ISBN-10	3-540-56734-8 / 3540567348
ISBN-13	978-3-540-56734-9 / 9783540567349
Zustand	Neuware