The Logic of Information Structures 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. Full description
"synopsis" may belong to another edition of this title.