The logic of information structures /

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 spectr...

Full description

Bibliographic Details

Main Author:	Wansing, H. (Heinrich)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1993]
Series:	Lecture notes in computer science. Lecture notes in artificial intelligence ; 681.
Subjects:	Computer science. Artificial intelligence. Logic, Symbolic and mathematical. Informatique. Intelligence artificielle. Logique symbolique et mathématique. Kunstmatige intelligentie. Informationsstruktur. Logik. Intuitionistische Logik. Electronic books.
Online Access:	Connect to the full text of this electronic book