PP-2000-02: van Benthem, Johan (2000) Information Transfer across Chu Spaces. [Report]
![[thumbnail of Full Text (PS)]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text (PS))
PP-2000-02.text.ps.gz Download (728kB) |
Preview |
Text (Full Text (PDF))
PP-2000-02.text.pdf Download (143kB) | Preview |
|
Text (Abstract)
PP-2000-02.abstract.txt Download (649B) |
Abstract
Chu spaces are a new model for information structure (cf. J. Barwise &
J. Seligman, "Information Flow", Cambridge UP, 1997) and for mathematical
structure in general (cf. Vaughan Pratt's ongoing work at the homepage
http://boole.stanford.edu/live). 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 bisimulation and modal
formulas.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2000-02 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2000 |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/29 |
Actions (login required)
 |
View Item |
