Information Transfer Across Chu Spaces.

Johan van Benthem
DOI: https://doi.org/10.1093/jigpal/8.6.719
2000-01-01
Abstract:Chu spaces are a new model for information structure and mathematical structure in general. Their properties are usually developed as a form of category theory. In this note, we show how they may also be viewed as models for a two-sorted first-order language, and we determine the exact flow of information across the natural Chu transforms. Our analysis is akin to that of process graphs via bisimul...
What problem does this paper attempt to address?