Chu spaces from the representational viewpoint

DOI10.1016/S0168-0072(98)00043-8zbMath0933.68084MaRDI QIDQ1295426

Vaughan R. Pratt

Publication date: 24 June 1999

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

continuitytopologymatrixuniversal algebraChu spaces

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Other constructive mathematics (03F65) Foundations, relations to logic and deductive systems (18A15)

Related Items (5)

Structural Operational Semantics and Modal Logic, Revisited ⋮ Big toy models. Representing physical systems as Chu spaces ⋮ Sequential Measurements, Topological Quantum Field Theories, and Topological Quantum Neural Networks ⋮ Toward foundations of near sets: (pre-)sheaf theoretic approach ⋮ Implementing finite structures in Mathematica via a skeletal topos of finite sets.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• How comprehensive is the category of semigroups?
• *-Autonomous categories and linear logic
• On Infinite-Dimensional Linear Spaces

This page was built for publication: Chu spaces from the representational viewpoint