PP-2000-02: Information Transfer across Chu Spaces

PP-2000-02: van Benthem, Johan (2000) Information Transfer across Chu Spaces. [Report]

[img] Text (Full Text (PS))
PP-2000-02.text.ps.gz

Download (728kB)
[img]
Preview
Text (Full Text (PDF))
PP-2000-02.text.pdf

Download (143kB) | Preview
[img] 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 View Item