Information transfer across Chu spaces
DOI10.1093/jigpal/8.6.719zbMath0963.03055OpenAlexW2056888136MaRDI QIDQ4521281
Publication date: 21 June 2001
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/8.6.719
modal logicfirst-order logicbisimulationChu spaceadjoint functorsflow of informationinformation structurepreservation theoremprocess graphsChu transformstwo-sorted first-order language
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Classical first-order logic (03B10) Interpolation, preservation, definability (03C40) Applications of model theory (03C98)
Related Items (10)
This page was built for publication: Information transfer across Chu spaces